From 6ffa74a24d4de91532b68092e4e5e90502aacfb2 Mon Sep 17 00:00:00 2001 From: Maxime Coste Date: Mon, 19 Nov 2012 13:37:38 +0100 Subject: [PATCH] Context: set dimensions of window on change_editor --- src/context.hh | 2 ++ 1 file changed, 2 insertions(+) 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)