diff options
Diffstat (limited to 'src/gui/editem.h')
| -rw-r--r-- | src/gui/editem.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/gui/editem.h b/src/gui/editem.h index 5321600..85f9022 100644 --- a/src/gui/editem.h +++ b/src/gui/editem.h @@ -85,6 +85,9 @@ void change_editor_items_current_view(GObject *, GtkViewPanel *); /* Lance une actualisation du fait d'un changement de contenu. */ void change_editor_items_current_view_content(GtkViewPanel *); +/* Concentre l'attention de l'ensemble sur une adresse donnée. */ +void focus_address_in_editor_items(vmpa_t, GtkWidget *); + /* Lance une actualisation relative à l'étendue du projet. */ void update_project_area(GStudyProject *); |