diff options
Diffstat (limited to 'src/gui/editor.c')
| -rw-r--r-- | src/gui/editor.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/gui/editor.c b/src/gui/editor.c index 5034104..9fffde8 100644 --- a/src/gui/editor.c +++ b/src/gui/editor.c @@ -1391,10 +1391,10 @@ static void on_dock_item_switch(GtkDockStation *station, GtkWidget *widget, gpoi GLoadedPanel *panel; /* Vue du contenu chargé */ GLoadedContent *content; /* Contenu en cours d'édition */ - if (GTK_IS_SCROLLED_WINDOW(widget)) + if (!G_IS_LOADED_PANEL(widget) && GTK_IS_SCROLLED_WINDOW(widget)) widget = gtk_bin_get_child(GTK_BIN(widget)); - if (GTK_IS_VIEWPORT(widget)) + if (!G_IS_LOADED_PANEL(widget) && GTK_IS_VIEWPORT(widget)) widget = gtk_bin_get_child(GTK_BIN(widget)); if (G_IS_LOADED_PANEL(widget)) |