diff options
| author | Cyrille Bagard <nocbos@gmail.com> | 2018-07-20 16:43:23 (GMT) |
|---|---|---|
| committer | Cyrille Bagard <nocbos@gmail.com> | 2018-07-20 16:43:23 (GMT) |
| commit | a809d3517eb928d5d7a03d96a85f8af96daa1047 (patch) | |
| tree | 451decffd5fc20d1a5237b2aa814a62aaba99316 /src/gui/editor.c | |
| parent | 5093663eb4e4aa17edd97cbd864ccb4a3d48a803 (diff) | |
Included dynamic items in the view menu.
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)) |