launcher: New option launcher_icon_theme_override to preserve legacy behavior

2015-05-03 10:05:31 +02:00
parent 5486c93f4c
commit a9330b424b
6 changed files with 29 additions and 5 deletions
--- a/src/tint2conf/properties.h
+++ b/src/tint2conf/properties.h
@@ -127,6 +127,7 @@ extern GtkWidget *launcher_background;
 extern GtkWidget *startup_notifications;
 extern IconThemeWrapper *icon_theme;
 extern GtkWidget *launcher_tooltip;
+extern GtkWidget *launcher_icon_theme_override;

 void load_desktop_file(const char *file, gboolean selected);
 void set_current_icon_theme(const char *theme);