diff options
| author | Matthias Melcher <git@matthiasm.com> | 2021-12-17 18:34:51 +0100 |
|---|---|---|
| committer | Matthias Melcher <github@matthiasm.com> | 2021-12-17 18:38:26 +0100 |
| commit | 3626e82057e2cb581afbd5495a87c00db7d7c9b8 (patch) | |
| tree | 74c7cb984c9816542895fdd35c026cd29e908256 /fluid/Fl_Window_Type.cxx | |
| parent | ba3041be6c86c05aef1f505a10df8c8b05e7b8de (diff) | |
GitHub #326: browser scrolling should be much improved
Code now convinces browser to rebuild when the tree changes by UI.
When widgets are move, the current widget should always be visible.
It's the responsibility of the UI callback to update the browser.
Diffstat (limited to 'fluid/Fl_Window_Type.cxx')
| -rw-r--r-- | fluid/Fl_Window_Type.cxx | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/fluid/Fl_Window_Type.cxx b/fluid/Fl_Window_Type.cxx index 21eefe868..59ab189aa 100644 --- a/fluid/Fl_Window_Type.cxx +++ b/fluid/Fl_Window_Type.cxx @@ -1239,6 +1239,8 @@ int Fl_Window_Type::handle(int event) { popupx = 0x7FFFFFFF; popupy = 0x7FFFFFFF; // mark as invalid (MAXINT) in_this_only = NULL; + widget_browser->display(Fl_Type::current); + widget_browser->rebuild(); return 1; } case FL_PUSH: |