How to increase font size of full code editor

Author Posts

fableforce

Without affecting the rest of microthemer, thanks!


Sebastian

Hey,

Unfortunately, there isn’t an option for increasing the font-size of the editor, separately from the browser zoom – but I’m happy to add that feature. I’ll aim to have it done by the end of next week.

Cheers,
Sebastian


Ralf

Hi Sebastian,

is the font size changeable yet?

I need a larger font size for the UI, it is tiny on my screen and very hard to read for me. No way I can work like this.

Thank you!

Cheers,
Ralf


Sebastian

Hey Ralf,

Thanks a lot for reminding me. I’ve just added this feature in version 7.3.2.4. You can increase the code editor font size from the default 14 value via:

Settings > General > Preferences > Set the font-size for the code editor

I hope that helps!

Cheers,
Sebastian


Ralf

Hi Sebastian,

That was quick, thank you. The code font size is already at 14px, which I find manageable. Still good to be able to change it.

However, the UI fontsize is at 11px. This is already on the small side on my 32″ monitor, but on the 14″ laptop, really difficult for me.
I used the dev tools to increase that font size and see if larger font causes an issue – I see no issue up to 14px. After that, the “Edit selector label” field gets too small. Otherwise up to 22px it still works fine. I don’t need that big, but just a couple of px more would be very much appreciated.

Cheers,
Ralf


Sebastian

Hey Ralf,

OK, I’m happy to provide a preference or adjusting the interface font-size too. But this will take a bit longer in order handle all of the edge cases, like the toggles in the righthand settings panel etc.

Can you zoom your browser for now?

Cheers,
Sebastian


Ralf

Thank you for taking this seriously! Yes, zooming in is an option, I can also get closer to the screen, or override the CSS in the browser. A bit inconvenient, but ok for a while, another day or two 🙂

Cheers,
Ralf

You must login or register to reply to this topic.