Important changes to forums and questions

All forums and questions are now archived. To start a new conversation or read the latest updates go to forums.mbed.com.

Editor font size

Topic last updated 11 Dec 2018, by Tianyi Zhou. 2 replies
James Mahoney
27 Feb 2010

Hello All,

 

Is there anyway to change the editor font and font size?

 

Thanks,

Jim Mahoney

Vlad Cazan
02 Mar 2010

Could try Command + or -

Tianyi Zhou
11 Dec 2018

thx