- changed status to open
Selection expanded after popup menu is closed
Issue #125
resolved
If you select something in the main panel, the selection is expanded after selecting an item from popup menu. Apparently DjVu widget catches release-mouse-button event meant for popup menu.
Comments (2)
-
reporter -
reporter - changed status to resolved
Workaround for problems with mouse event and selection. Closes
#125.→ <<cset 962991a0ba89>>
- Log in to comment