diff options
author | Cyrille Bagard <nocbos@gmail.com> | 2016-10-22 10:00:41 (GMT) |
---|---|---|
committer | Cyrille Bagard <nocbos@gmail.com> | 2016-10-22 10:00:41 (GMT) |
commit | 3a259b1e1e3fe870f9d1837ea2ecf6ce5c1d0162 (patch) | |
tree | 08cc7f88479ce391b0e94241edd6a181c34664c8 /src/gui/editor.c | |
parent | d800cb1c80ec68eb1ad85134fd9c0727023f572a (diff) |
Fixed GUI bugs in the case where no binary is loaded.
Diffstat (limited to 'src/gui/editor.c')
-rw-r--r-- | src/gui/editor.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/gui/editor.c b/src/gui/editor.c index 3723bd8..bff001d 100644 --- a/src/gui/editor.c +++ b/src/gui/editor.c @@ -349,6 +349,9 @@ GtkWidget *create_editor(void) + /* Actualisation des contenus */ + + change_editor_items_current_binary(ref, NULL); |