Avoid popupmenus being closed when scrollbar is clicked (#1489832)
Description
Description
Details
Details
- Provenance
Thomas Bruederli Authored on Apr 25 2014, 4:13 PM mollekopf Pushed on Aug 21 2023, 3:06 PM - Parents
- R3:a54cff4c569f: Fix error when spell-checking an empty text (#1489831)
- Branches
- Unknown
- Tags