diff options
Diffstat (limited to 'src/gui')
-rw-r--r-- | src/gui/status.c | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/gui/status.c b/src/gui/status.c index 07e8254..2637f28 100644 --- a/src/gui/status.c +++ b/src/gui/status.c @@ -288,6 +288,17 @@ static void track_caret_address_on_buffer_views(GtkBufferView *view, const vmpa2 msize = g_arch_processor_get_memory_size(proc); g_object_unref(G_OBJECT(proc)); + /* RĂ©initiation seule si il n'y a plus d'adresse... */ + + if (addr == NULL) + { + if (info->msg_id > 0) + gtk_extended_status_bar_remove(GTK_EXT_STATUS_BAR(item->widget), info->msg_id); + + return; + + } + /* Adresse brute */ msize = g_arch_processor_get_memory_size(proc); |