diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2012-11-19 13:37:38 +0100 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2012-11-19 13:37:38 +0100 |
| commit | 6ffa74a24d4de91532b68092e4e5e90502aacfb2 (patch) | |
| tree | cfbd29bac50961548dc013b254556fb44edf580e /src | |
| parent | 9c368c85d6c75f4d81551ff8870e75ca840f0c9a (diff) | |
Context: set dimensions of window on change_editor
Diffstat (limited to 'src')
| -rw-r--r-- | src/context.hh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/context.hh b/src/context.hh index a59e41eb..c29066a9 100644 --- a/src/context.hh +++ b/src/context.hh @@ -75,6 +75,8 @@ struct Context void change_editor(Editor& editor) { m_editor.reset(&editor); + if (has_window() && has_ui()) + window().set_dimensions(ui().dimensions()); } void change_ui(UserInterface& ui) |