diff options
| author | ManoloFLTK <41016272+ManoloFLTK@users.noreply.github.com> | 2019-04-07 08:57:06 +0200 |
|---|---|---|
| committer | ManoloFLTK <41016272+ManoloFLTK@users.noreply.github.com> | 2019-04-07 08:57:06 +0200 |
| commit | cc955d27a09ef834d94ad798458093463e486dfd (patch) | |
| tree | e490ca28cec0a02f34e04087e7e1cf8ab79b8162 | |
| parent | 63b86bd8f76f7d1881b1d0a60183c9d4a9ee786b (diff) | |
Maintain window position when turning its border on.
| -rw-r--r-- | src/Fl_Window_Driver.cxx | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Fl_Window_Driver.cxx b/src/Fl_Window_Driver.cxx index b899c5e7d..cafce2628 100644 --- a/src/Fl_Window_Driver.cxx +++ b/src/Fl_Window_Driver.cxx @@ -191,6 +191,7 @@ int Fl_Window_Driver::hide_common() { void Fl_Window_Driver::use_border() { if (shown()) { pWindow->hide(); // hide and then show to reflect the new state of the window border + pWindow->force_position(1); pWindow->show(); } } |