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