From cdd2a58cbd2521b7fbf89df2d321381c0df83a7e Mon Sep 17 00:00:00 2001 From: ZenWalker Date: Wed, 10 May 2017 23:12:03 +0200 Subject: Hide tabs if we are using the sidebar Fixes #23 --- pluma/pluma-notebook.c | 5 ++++- pluma/pluma-window.c | 2 ++ 2 files changed, 6 insertions(+), 1 deletion(-) 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); -- cgit v1.2.1