diff options
author | Cyrille Bagard <nocbos@gmail.com> | 2016-11-11 21:22:38 (GMT) |
---|---|---|
committer | Cyrille Bagard <nocbos@gmail.com> | 2016-11-11 21:22:38 (GMT) |
commit | db934f20598340772f8c0256c8a8119790a1821e (patch) | |
tree | d03e57cc5fc953fc3e7653da74a8c58fd310de5d /src/panels/panel.h | |
parent | 2df715e74d6600ed0a5688a43f6ecd873957326a (diff) |
Prepared the new organization of display widgets.
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 ce91b8c..c056dac 100644 --- a/src/panels/panel.h +++ b/src/panels/panel.h @@ -31,7 +31,7 @@ #include "../analysis/binary.h" -#include "../gtkext/gtkviewpanel.h" +#include "../gtkext/gtkdisplaypanel.h" @@ -77,7 +77,7 @@ void init_internal_panels(void); 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); +void notify_panels_of_view_change(GtkDisplayPanel *, bool); |