diff options
Diffstat (limited to 'src/panels/panel.h')
| -rw-r--r-- | src/panels/panel.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/panels/panel.h b/src/panels/panel.h index 1a94ebc..38eeb79 100644 --- a/src/panels/panel.h +++ b/src/panels/panel.h @@ -76,6 +76,9 @@ void init_internal_panels(void); /* Incruste tous les panneaux dans la fenêtre de l'éditeur. */ void place_all_panels_in_editor(GtkWidget *); +/* Lance une actualisation du fait d'un changement de binaire. */ +void notify_panels_of_binary_change(GOpenidaBinary *); + /* Lance une actualisation du fait d'un changement de vue. */ void notify_panels_of_view_change(GtkBinView *, bool); |