Re: Command Editor Font Size

[Sebastian Zartner]

The Command Editor is based on an editor called Orion, which has problems with resizing. See issue 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 for more info.

Sebastian

On Saturday, March 2, 2013 4:39:28 AM UTC-5, ma...@manngo.net 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

[ma...@manngo.net]

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