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.
