diff options
author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2016-12-01 22:31:35 +0100 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2016-12-01 22:31:35 +0100 |
commit | 3b43607cf603bd89df7e8c2946c18f30f3a9e027 (patch) | |
tree | 2f8d73cc63b6a47638adbdfc71d1357321eb71b9 /src/ui.vala | |
parent | a41f8de32b97f575a37525a52531369c8ec52e7a (diff) | |
parent | 4cd367d92ab485c92a00042abc28188d1a751ca0 (diff) |
Merge tag 'upstream/3.23.2'
Upstream version 3.23.2
Diffstat (limited to 'src/ui.vala')
-rw-r--r-- | src/ui.vala | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/src/ui.vala b/src/ui.vala index 2dd1d57..5e375c4 100644 --- a/src/ui.vala +++ b/src/ui.vala @@ -1819,7 +1819,7 @@ public class UserInterface : Gtk.ApplicationWindow var app = Application.get_default () as Gtk.Application; - if (is_desktop ("Unity") || is_desktop ("XFCE") || is_desktop ("MATE") || is_desktop ("LXDE")) + if (is_traditional_desktop ()) { set_titlebar (null); menubar.visible = true; @@ -2022,6 +2022,15 @@ public class UserInterface : Gtk.ApplicationWindow return false; } + private bool is_traditional_desktop () + { + const string[] traditional_desktops = { "Unity", "XFCE", "MATE", "LXDE", "Cinnamon", "X-Cinnamon" }; + foreach (var name in traditional_desktops) + if (is_desktop (name)) + return true; + return false; + } + private string state_filename { owned get { return Path.build_filename (Environment.get_user_cache_dir (), "simple-scan", "state"); } |