listener

Currently the option pane is activated only after pressing it - then it is possible to select the appropriate option in the popup.
This ticket requires writing a handle-event method specialized on the class generic-option-pane and pointer-scroll-event that:

• on scroll up selects the option above (if any, for topmost it is a no-op)
• on scroll down selects the option below (if any, for bo