diff options
| author | Christian Persch <chpe@gnome.org> | 2015-08-28 18:29:07 +0200 |
|---|---|---|
| committer | Christian Persch <chpe@gnome.org> | 2015-08-28 18:29:07 +0200 |
| commit | 0f3e02d18112c4b4cc28826b7df98766681c5253 (patch) | |
| tree | 3aac175723d6c8fb717a7068d82eb8b4dcfafb97 | |
| parent | 4f2decbe2fac9361a35a0f6e50974e081ca064f1 (diff) | |
| download | gnome-terminal-0f3e02d18112c4b4cc28826b7df98766681c5253.tar.gz | |
notebook: Add ifdef for gtk+ < 3.16
https://bugzilla.gnome.org/show_bug.cgi?id=754254
| -rw-r--r-- | src/terminal-notebook.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/terminal-notebook.c b/src/terminal-notebook.c index efd53431..d6c9dd10 100644 --- a/src/terminal-notebook.c +++ b/src/terminal-notebook.c @@ -68,7 +68,9 @@ update_tab_visibility (TerminalNotebook *notebook, show_tabs = (gtk_notebook_get_n_pages (gtk_notebook) + change) > 1; break; case GTK_POLICY_NEVER: +#if GTK_CHECK_VERSION (3, 16, 0) case GTK_POLICY_EXTERNAL: +#endif default: show_tabs = FALSE; break; |