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/gui/editor.c | |
| parent | 2df715e74d6600ed0a5688a43f6ecd873957326a (diff) | |
Prepared the new organization of display widgets.
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); } |