diff options
Diffstat (limited to 'src/gui/editor.c')
| -rw-r--r-- | src/gui/editor.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/gui/editor.c b/src/gui/editor.c index ef57dbc..736c6f6 100644 --- a/src/gui/editor.c +++ b/src/gui/editor.c @@ -1200,12 +1200,12 @@ static void on_dock_item_switch(GtkDockStation *station, GtkWidget *widget, GObj if (GTK_IS_VIEWPORT(widget)) widget = gtk_bin_get_child(GTK_BIN(widget)); - if (GTK_IS_VIEW_PANEL(widget)) + if (GTK_IS_DISPLAY_PANEL(widget)) { /* Changement de binaire ? */ old_binary = G_LOADED_BINARY(g_object_get_data(ref, "current_binary")); - binary = gtk_view_panel_get_binary(GTK_VIEW_PANEL(widget)); + binary = gtk_display_panel_get_binary(GTK_DISPLAY_PANEL(widget)); if (old_binary != binary) { @@ -1213,9 +1213,9 @@ static void on_dock_item_switch(GtkDockStation *station, GtkWidget *widget, GObj change_editor_items_current_binary(ref, binary); } - change_editor_items_current_view(ref, GTK_VIEW_PANEL(widget)); + change_editor_items_current_view(ref, GTK_DISPLAY_PANEL(widget)); - //notify_panels_of_view_change(GTK_VIEW_PANEL(widget), false); + //notify_panels_of_view_change(GTK_DISPLAY_PANEL(widget), false); } |