That doesn't relate to the font, it also happens when you have Courier New set as monospace font. 8 is simply an invalid setting for extensions.firebug.textSize. The value doesn't relate to points or any normal font size, it's an index for a predefined zoom factor. I clarified that in the Firebug preferences wiki page<https://getfirebug.com/wiki/index.php/Firebug_Preferences>and fixed the bug<https://github.com/firebug/firebug/commit/0b93b8a71189b0b4c2f728cbe1952014eaa0610c>when it's set to an invalid value.
Sebastian On Wednesday, July 3, 2013 10:15:03 PM UTC+2, Ruffin wrote: > > Trying to get ProFontWindows size 8 ( > http://www.tobias-jung.de/seekingprofont/) in Firebug. I've swapped > Firefox's default monospace font to ProFont. Then I've tried to > set extensions.firebug.textSize to 8 to get it sized "correctly" in > Firebug. When I change the value to anything *but* 0, all text > disappears from Firebug. Change back to 0, and the text is back, but at > FF's default 9 (or whatever size I set it to -- 9 was a bit too small > everywhere else). > > I considered hacking css, and I found this on changing the command-line > font: https://groups.google.com/d/msg/firebug/V_TU9Ekrgyk/p-28472Qrd4J > ... but I can't for the life of me figure out where the Script tab > window's font is. > > I'm using 1.11.4 on FF 22.0. > > Any ideas? Thanks. > -- You received this message because you are subscribed to the Google Groups "Firebug" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/firebug. To view this discussion on the web visit https://groups.google.com/d/msgid/firebug/ec86ec1f-5b44-4f76-9c89-bd0722f6d9c9%40googlegroups.com. For more options, visit https://groups.google.com/groups/opt_out.
