summaryrefslogtreecommitdiff
path: root/src/ui.vala
diff options
context:
space:
mode:
authorJörg Frings-Fürst <debian@jff-webhosting.net>2016-12-01 22:31:21 +0100
committerJörg Frings-Fürst <debian@jff-webhosting.net>2016-12-01 22:31:21 +0100
commit4cd367d92ab485c92a00042abc28188d1a751ca0 (patch)
treef82761acb81f8746627ba1470846c15ba6db10f6 /src/ui.vala
parent143fc164f11f08509a1d22943aec5b691612e81a (diff)
New upstream version 3.23.2upstream/3.23.2
Diffstat (limited to 'src/ui.vala')
-rw-r--r--src/ui.vala11
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"); }