bd3f46e2d6
Gnome-Pie is a circular application launcher. It is made of several pies, each consisting of multiple slices. The user presses a key stroke which opens the desired pie. By activating one of its slices, applications may be launched, key presses may be simulated or files can be opened. WWW: http://simmesimme.github.io/gnome-pie.html
11 lines
419 B
Vala
11 lines
419 B
Vala
--- src/gui/themeList.vala.orig 2015-01-23 11:49:05 UTC
|
|
+++ src/gui/themeList.vala
|
|
@@ -81,7 +81,7 @@ class ThemeList : Gtk.TreeView {
|
|
|
|
this.on_select_new();
|
|
|
|
- Config.global.theme.load();
|
|
+ //Config.global.theme.load();
|
|
Config.global.theme.load_images();
|
|
return false;
|
|
});
|