diff options
author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2015-10-27 21:29:30 +0100 |
---|---|---|
committer | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2015-10-27 21:29:30 +0100 |
commit | 41cd11871bddc218b1b781f92196a634cb419183 (patch) | |
tree | 932211b07d7be2a1654be2753acdb1bdcc3a6e46 /src | |
parent | cf52b7dd60f2b7fc0ca3eca90217351c9498f0fa (diff) | |
download | arctica-greeter-41cd11871bddc218b1b781f92196a634cb419183.tar.gz arctica-greeter-41cd11871bddc218b1b781f92196a634cb419183.tar.bz2 arctica-greeter-41cd11871bddc218b1b781f92196a634cb419183.zip |
Add badge (.png) for Openbox window manager. Also make greeter aware of openbox-kde and openbox-gnome.
Diffstat (limited to 'src')
-rw-r--r-- | src/session-list.vala | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/session-list.vala b/src/session-list.vala index 2921646..d166e2b 100644 --- a/src/session-list.vala +++ b/src/session-list.vala @@ -105,9 +105,11 @@ public class SessionList : GreeterList case "gnome-shell": case "gnome-wayland": case "gnome": + case "openbox-gnome": return "gnome_badge.png"; case "kde": case "kde-plasma": + case "openbox-kde": case "plasma": return "kde_badge.png"; case "lxde": @@ -115,6 +117,8 @@ public class SessionList : GreeterList return "lxde_badge.png"; case "mate": return "mate_badge.png"; + case "openbox": + return "openbox_badge.png"; case "twm": return "twm_badge.png"; case "xfce": |