Re: [Bug-gnuzilla] report about icecat 24

[balducci]

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