diff options
| author | Greg Ercolano <erco@seriss.com> | 2024-01-25 08:09:25 -0800 |
|---|---|---|
| committer | Greg Ercolano <erco@seriss.com> | 2024-01-25 08:09:25 -0800 |
| commit | f2544509c1796ea2bb120af23b73a94f88d219bc (patch) | |
| tree | 3cd596dfebc23728c0be823cad880a93bffa7dd5 /documentation/make_header | |
| parent | 6a887bf69b059ad2c6a3852f1726313ad3e8f247 (diff) | |
Fix mousewheel problem with Fl_Text_Editor (issue #879)
When an Fl_Text_Editor ended up under the mouse, it took
mousewheel events for itself, freezing navigation of a
parent's Fl_Scroll.
Patch handles mousewheel events for both up/down and left/right
by checking:
> If editor has no scrollbar (e.g. no content to scroll to),
then mousewheel events for that scrollbar are ignored
so the parent can be navigated.
> If editor has a scrollbar, it handles wheel events until scroller reaches
an extreme position (e.g. top or bottom), it starts ignoring wheel events
so the parent can be navigated.
Diffstat (limited to 'documentation/make_header')
0 files changed, 0 insertions, 0 deletions
