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 38eeb79..a5c9f7c 100644 --- a/src/panels/panel.h +++ b/src/panels/panel.h @@ -31,7 +31,7 @@ #include "../analysis/binary.h" -#include "../gtkext/gtkbinview.h" +#include "../gtkext/gtkviewpanel.h" @@ -80,7 +80,7 @@ void place_all_panels_in_editor(GtkWidget *); 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); +void notify_panels_of_view_change(GtkViewPanel *, bool); |