diff options
author | Cyrille Bagard <nocbos@gmail.com> | 2018-08-22 21:32:14 (GMT) |
---|---|---|
committer | Cyrille Bagard <nocbos@gmail.com> | 2018-08-22 21:32:14 (GMT) |
commit | 1136c1d9e5c29acc42e1c4baf24b967ce62c5548 (patch) | |
tree | 22309233e842c6a1da3e310c2fcaa3e3cc8712f4 /src/gui | |
parent | d0ad2affea4ea7d0e91c1dba73138f59db1143fe (diff) |
Refreshed the editor when no content is loaded.
Diffstat (limited to 'src/gui')
-rw-r--r-- | src/gui/editor.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/gui/editor.c b/src/gui/editor.c index e5a16d1..05afa64 100644 --- a/src/gui/editor.c +++ b/src/gui/editor.c @@ -705,6 +705,12 @@ static void on_dock_item_switch(GtkDockStation *station, GtkWidget *widget, gpoi } + else + { + change_editor_items_current_content(NULL); + change_editor_items_current_view(NULL); + } + } |