- This topic has 6 replies, 3 voices, and was last updated 2 months ago by
Ralf.
Author | Posts |
---|---|
fableforce
September 30, 2023 at 8:34 am
|
Without affecting the rest of microthemer, thanks! |
Sebastian
September 30, 2023 at 11:55 am
|
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, |
Ralf
December 7, 2024 at 9:46 pm
|
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, |
Sebastian
December 9, 2024 at 2:36 pm
|
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:
I hope that helps! Cheers, |
Ralf
December 9, 2024 at 3:02 pm
|
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. Cheers, |
Sebastian
December 10, 2024 at 4:34 pm
|
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, |
Ralf
December 10, 2024 at 10:50 pm
|
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, |