diff options
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"); } |