Hi Sebastian The preference setting did indeed help with the font size. That will do for now for the classroom. It’s a bit of a bore that the menus are also affected, but we’ll probably survive. Hopefully, the Orion editor will eventually be updated or replaced.
Thanks, Mark On Monday, March 4, 2013 3:26:18 PM UTC+11, Sebastian Zartner wrote: > > The Command Editor is based on an editor called Orion, which has problems > with resizing. See issue > 6252<http://code.google.com/p/fbug/issues/detail?id=6252> > . > You can change the font size at the cost of losing the syntax highlighting > by setting the preference extensions.firebug.enableOrion to false. See > the Firebug > preferences<https://getfirebug.com/wiki/index.php/Firebug_Preferences>for > more info. > > Sebastian > > On Saturday, March 2, 2013 4:39:28 AM UTC-5, [email protected] wrote: >> >> I may have missed something, but nothing I could find on Google seems to >> help. >> >> I would like to increase the font size in the Command Editor, but not >> elsewhere. In fact, increasing the font size seems to apply to everything >> except the Command Editor. >> >> Apart from preferring a larger size, I also use Firebug for teaching, and >> it would be much easier for the students to see what I’m doing. >> >> I have tried, and failed, on the current Firefox, latest Firebug and Mac >> OSX as well as Win 7 & XP. >> >> Thanks, >> >> Mark >> > -- -- You received this message because you are subscribed to the Google Groups "Firebug" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at https://groups.google.com/forum/#!forum/firebug --- 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]. For more options, visit https://groups.google.com/groups/opt_out.
