hi there! thanks for the quick feedback > Maybe there's a misunderstanding with the themes. If you disable IceCat > Tweaks, this will disable the auto-hide for the menu bar. You still need > to re-enable the menu bar by clicking on "GNU IceCat" > Preferences > > Menu Bar. This will reactivate the menu bar, Since the IceCat Tweaks > extension is disabled, you'll see the menu bar just fine at the next > restart.
That is exactly what I have done: thanks for the explanation. By the way: is it possible to have _both_ IceCat Tweaks _and_ the menubar active across re-runs at the same time? > > Next is the Gnome Theme. You might have already tried this, but there's > no uninstall for the Gnome Theme because instead what you need to do is > to enable the Default theme. You should have an "enable" button right > next to the Default 24.0 in "about:addons". If you click on this then > restart you'll have the default theme. That was actually the problem: there was no "enable" button next to the "Default 24.0" theme, so I was not able to switch to it With the woodoo I described in my previous post I was able to make the enable button to appear to the right of the Default theme on the next Icecat run, which let me perform the gnome --> default switch However, I utterly ignore the reason why this worked: apparently, something in my old *.default profile was preventing enabling the default theme.... thanks again very much for your work ciao gabriele -- http://gnuzilla.gnu.org
