diff options
Diffstat (limited to 'src/panels/panel.h')
| -rw-r--r-- | src/panels/panel.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/panels/panel.h b/src/panels/panel.h index b946222..60ce657 100644 --- a/src/panels/panel.h +++ b/src/panels/panel.h @@ -64,7 +64,7 @@ GType g_editor_panel_get_type(void); /* Répercute sur les panneaux un nouveau binaire actif. */ -void change_current_binary_in_panels(GObject *, GOpenidaBinary *); +void change_current_binary_in_panels(GObject *, GLoadedBinary *); @@ -77,7 +77,7 @@ void init_internal_panels(void); void place_all_panels_in_editor(GtkWidget *); /* Lance une actualisation du fait d'un changement de binaire. */ -void notify_panels_of_binary_change(GOpenidaBinary *); +void notify_panels_of_binary_change(GLoadedBinary *); /* Lance une actualisation du fait d'un changement de vue. */ void notify_panels_of_view_change(GtkViewPanel *, bool); |