arduino/esp8266
1
0
Fork 0
mirror of https://github.com/esp8266/Arduino.git synced 2025-06-16 11:21:18 +03:00
Code Activity

Nicer fonts

Browse Source
This commit is contained in:
Federico Fissore
2015-03-12 09:58:32 +01:00
parent cc6c647825
commit c946a29aac
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
app/src/processing/app/Base.java
View File

@ -84,6 +84,9 @@ public class Base {
Editor activeEditor; Editor activeEditor;
static public void main(String args[]) throws Exception { static public void main(String args[]) throws Exception {
System.setProperty("awt.useSystemAAFontSettings", "on");
System.setProperty("swing.aatext", "true");
BaseNoGui.initLogger(); BaseNoGui.initLogger();
BaseNoGui.notifier = new GUIUserNotifier(); BaseNoGui.notifier = new GUIUserNotifier();