diff options
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 *); |