diff options
Diffstat (limited to 'rules/gtk.in')
| -rw-r--r-- | rules/gtk.in | 26 |
1 files changed, 1 insertions, 25 deletions
diff --git a/rules/gtk.in b/rules/gtk.in index a6e200e41..1a1ff6151 100644 --- a/rules/gtk.in +++ b/rules/gtk.in @@ -121,31 +121,7 @@ config GTK_DEMO prompt "gtkdemo" -menuconfig GTK_ENGINES - bool - prompt "gtk engines " - -if GTK_ENGINES source "rules/gtk-engine-experience.in" -endif - -choice - prompt "default theme" - - config GTK_DEFAULT_NONE - bool "none " - - config GTK_DEFAULT_THEME_EXPERIENCE_PLAIN - bool "eXperience (plain)" - depends on GTK_THEME_EXPERIENCE_PLAIN - - config GTK_DEFAULT_THEME_EXPERIENCE_ICE - bool "eXperience (ice)" - depends on GTK_THEME_EXPERIENCE_ICE - - config GTK_DEFAULT_THEME_EXPERIENCE_OLIVE - bool "eXperience (olive)" - depends on GTK_THEME_EXPERIENCE_OLIVE -endchoice +source "rules/gtk-theme-experience.in" endmenu |