Use change event on multiple select box instead of click events on individual options
Closes #397 (closed).
This is cherry-picked from !433 (merged), but is independent.
It seems that no changes are required for checkgroups (radio buttons). Apparently browsers fire the click event also when you change the selection with the keyboard.
Test program:
import StdEnv
import iTasks
Start w = doTasks (t1 -&&- t2) w
t1 =
editSelection
[ SelectMultiple True
, SelectInDropdown
(map \i -> {ChoiceText | id=i-1, text=toString i})
(\opts is -> [opts !! i \\ i <- is])
]
[1,2,3]
[]
>&> viewSharedInformation []
t2 =
editChoice
[ChooseFromCheckGroup id]
[1,2,3]
Nothing
>&> viewSharedInformation []