1
0
mirror of https://github.com/arduino/Arduino.git synced 2024-11-28 09:24:14 +01:00

OSX: attempting to draw a black dot in the upper left red button. Fixes #3816

This commit is contained in:
Federico Fissore 2015-09-24 16:44:07 +02:00
parent 71c81e30a7
commit befd7d42be

View File

@ -525,6 +525,7 @@ public class Sketch {
// http://developer.apple.com/qa/qa2001/qa1146.html
Object modifiedParam = modified ? Boolean.TRUE : Boolean.FALSE;
editor.getRootPane().putClientProperty("windowModified", modifiedParam);
editor.getRootPane().putClientProperty("Window.documentModified", modifiedParam);
}
}