diff options
| author | ZenWalker <[email protected]> | 2017-05-10 23:12:03 +0200 |
|---|---|---|
| committer | ZenWalker <[email protected]> | 2017-09-02 02:03:26 +0200 |
| commit | cdd2a58cbd2521b7fbf89df2d321381c0df83a7e (patch) | |
| tree | 1f1991c80c75b992be728ee6de99e4eb4664a08a /pluma/pluma-window.c | |
| parent | 1ace0249492d8710c5e1d416f595b523e4e63dfa (diff) | |
| download | pluma-cdd2a58cbd2521b7fbf89df2d321381c0df83a7e.tar.bz2 pluma-cdd2a58cbd2521b7fbf89df2d321381c0df83a7e.tar.xz | |
Hide tabs if we are using the sidebar
Fixes #23
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); |