diff options
| -rw-r--r-- | pluma/pluma-notebook.c | 5 | ||||
| -rw-r--r-- | pluma/pluma-window.c | 2 |
2 files changed, 6 insertions, 1 deletions
diff --git a/pluma/pluma-notebook.c b/pluma/pluma-notebook.c index d9bb4b52..8afce33c 100644 --- a/pluma/pluma-notebook.c +++ b/pluma/pluma-notebook.c @@ -730,7 +730,10 @@ update_tabs_visibility (PlumaNotebook *nb, show_tabs = (nb->priv->always_show_tabs || num > 1); - gtk_notebook_set_show_tabs (GTK_NOTEBOOK (nb), show_tabs); + if (pluma_prefs_manager_get_side_pane_visible ()) + gtk_notebook_set_show_tabs (GTK_NOTEBOOK (nb), FALSE); + else + gtk_notebook_set_show_tabs (GTK_NOTEBOOK (nb), show_tabs); } static void 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); |