Cristian Maglie 7c27d09c6f Added check for negative font size in preferences. ... This should allow to automatically recover situations like https://github.com/arduino/Arduino/issues/6359#issuecomment-324247440 See #6359		2017-08-28 18:01:30 +02:00
..
lib	Avoid dll unpacking within JSSC	2017-05-18 15:36:17 +02:00
src	Added check for negative font size in preferences.	2017-08-28 18:01:30 +02:00
.classpath	Avoid dll unpacking within JSSC	2017-05-18 15:36:17 +02:00
.editorconfig	Added .editorconfig files http://editorconfig.org/	2015-05-08 10:18:43 +02:00
.gitignore	Split IDE into 2 projects.	2014-11-13 16:34:24 +01:00
.project	Split IDE into 2 projects.	2014-11-13 16:34:24 +01:00
build.xml	Switching to Java 8	2015-06-16 09:33:48 +02:00