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.
All forums and questions are now archived. To start a new conversation or read the latest updates go to forums.mbed.com.
How do I change the editor font? It looks like it's using Courier New. Also, is there any way to have it use tabs instead of spaces?