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/gtkext/gtkstatusstack.h | |
| parent | 7162a683b66b02c16b42a177600468a1ff56149d (diff) | |
Given a chance to the caret to get defined before getting drawn.
Diffstat (limited to 'src/gtkext/gtkstatusstack.h')
| -rw-r--r-- | src/gtkext/gtkstatusstack.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/gtkext/gtkstatusstack.h b/src/gtkext/gtkstatusstack.h index 9d25c8f..8e93708 100644 --- a/src/gtkext/gtkstatusstack.h +++ b/src/gtkext/gtkstatusstack.h @@ -71,6 +71,8 @@ GtkWidget *gtk_status_stack_new(void); /* Actualise les informations liées une position d'assemblage. */ void gtk_status_stack_update_current_instruction(GtkStatusStack *, const GLoadedBinary *, const GArchInstruction *); +/* Réinitialise les informations associées une position. */ +void gtk_status_stack_reset_current_instruction(GtkStatusStack *); |