Paul B. Gallagher wrote:
Jens Hatlak wrote:
That's because it's a hidden pref, i.e. it's only visible if you
manually add it.
Fine, I added it, set it to true. So?
About:config still has one-and-a-half-line spacing.
Data Manager still has one-and-a-half-line spacing.
I don't see what I've gained here. Does it require a restart?
After setting the pref you need to restart, yes. If after that nothing
has changed, we've at least ruled out the XUL cache as a potential
reason for why the userChrome.css changes have no effect for you (at
least in certain areas).
Now I cannot tell what's causing your particular issue, but I am sure
that the proposed CSS fix works. It's even been checked in on trunk, so
(very) recent nightly builds already have the fix applied. You could
either try those (with a test profile, for confirmation purposes), or
create a new profile with your current SM version, apply the proposed
fix (from the release notes) there manually (create userChrome.css etc.
- include only that CSS, nothing else) and check whether that works for
you. If it does, maybe one of your add-ons, preferences or other
customizations affect what you see.
HTH
Jens
--
Jens Hatlak <http://jens.hatlak.de/>
SeaMonkey Trunk Tracker <http://smtt.blogspot.com/>
_______________________________________________
support-seamonkey mailing list
[email protected]
https://lists.mozilla.org/listinfo/support-seamonkey
