diff options
author | Cyrille Bagard <nocbos@gmail.com> | 2016-02-02 06:25:28 (GMT) |
---|---|---|
committer | Cyrille Bagard <nocbos@gmail.com> | 2016-02-02 06:25:28 (GMT) |
commit | a61984e52bfd35e19408b7cbdb11e3419f635829 (patch) | |
tree | 55e12f1d6fff818cc905ba103ccdb2dc8992b0da /src/gui/menus | |
parent | 7162a683b66b02c16b42a177600468a1ff56149d (diff) |
Given a chance to the caret to get defined before getting drawn.
Diffstat (limited to 'src/gui/menus')
-rw-r--r-- | src/gui/menus/edition.c | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/gui/menus/edition.c b/src/gui/menus/edition.c index c742098..2cc22b2 100644 --- a/src/gui/menus/edition.c +++ b/src/gui/menus/edition.c @@ -252,8 +252,12 @@ void update_access_in_menu_edition(GObject *ref, GtkBufferView *view, const vmpa /* Préliminaire */ - if (view == NULL) + if (view == NULL || addr == NULL) + { state = false; + line = NULL; + segment = NULL; + } else state = gtk_view_panel_get_position(GTK_VIEW_PANEL(view), &line, &segment); |