[12:41] <nils_> anyone here know where gnome-theme-manager stores selected theme and such?
[12:48] <kwwii> nils_: files installed locally should be in something like .gnome in your home
[12:48] <kwwii> I would guess
[12:49] <nils_> I looked at .gnome
[12:49] <nils_> can't find any theme settings
[12:49] <nils_> all of the theme files are in .themes of course
[12:50] <kwwii> hrm, then it is beyond me...sorry
[12:50] <nils_> doh
[12:50] <kwwii> I do not even have gnome installed
[12:50] <nils_> I can't log in now
[12:50] <nils_> my user is crashed, because gnome-theme-manager crashed the theme
[11:08] <lapo> hi
[01:09] <coz_> hello all
[02:19] <frandavid100> hi guys!
[05:44] <coz_> hello all
[10:50] <Viper550> I personally think that 7.04 should have a clear and professional look to it