[simple-scan/gnome-3-20: 2/3] Add Cinnamon to the list of desktops that don't use headerbars

[Robert Ancell <rancell src gnome org>]

commit f0a43a79f0aef6414c0c0456112cf173f13fda6b
Author: Robert Ancell <robert ancell canonical com>
Date:   Wed Jan 11 12:16:28 2017 +1300

    Add Cinnamon to the list of desktops that don't use headerbars

 src/ui.vala |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/src/ui.vala b/src/ui.vala
index c6c2b0e..5e375c4 100644
--- a/src/ui.vala
+++ b/src/ui.vala
@@ -2024,7 +2024,7 @@ public class UserInterface : Gtk.ApplicationWindow
 
     private bool is_traditional_desktop ()
     {
-        const string[] traditional_desktops = { "Unity", "XFCE", "MATE", "LXDE" };
+        const string[] traditional_desktops = { "Unity", "XFCE", "MATE", "LXDE", "Cinnamon", "X-Cinnamon" };
         foreach (var name in traditional_desktops)
             if (is_desktop (name))
                 return true;