diff options
Diffstat (limited to 'pluma/pluma-window.c')
| -rw-r--r-- | pluma/pluma-window.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pluma/pluma-window.c b/pluma/pluma-window.c index 4c257fba..666e2c5d 100644 --- a/pluma/pluma-window.c +++ b/pluma/pluma-window.c @@ -3578,6 +3578,8 @@ side_panel_visibility_changed (GtkWidget *side_panel, visible = gtk_widget_get_visible (side_panel); + gtk_notebook_set_show_tabs (GTK_NOTEBOOK (window->priv->notebook), !visible); + if (pluma_prefs_manager_side_pane_visible_can_set ()) pluma_prefs_manager_set_side_pane_visible (visible); |