reset everyone's anti-aliasing setting for the editor (#2164)

This commit is contained in:
Ben Fry
2013-10-23 18:24:20 -04:00
parent e22a3f314b
commit b8f9bb628f
4 changed files with 18 additions and 11 deletions
+2 -2
View File
@@ -661,7 +661,7 @@ public class Preferences {
* then send a message to the editor saying that it's time to do the same.
*/
protected void applyFrame() {
setBoolean("editor.antialias", //$NON-NLS-1$
setBoolean("editor.smooth", //$NON-NLS-1$
editorAntialiasBox.isSelected());
setBoolean("export.delete_target_folder", //$NON-NLS-1$
@@ -796,7 +796,7 @@ public class Preferences {
protected void showFrame() {
editorAntialiasBox.setSelected(getBoolean("editor.antialias")); //$NON-NLS-1$
editorAntialiasBox.setSelected(getBoolean("editor.smooth")); //$NON-NLS-1$
inputMethodBox.setSelected(getBoolean("editor.input_method_support")); //$NON-NLS-1$
// set all settings entry boxes to their actual status
@@ -30,8 +30,6 @@ import processing.app.syntax.im.CompositionTextPainter;
public class TextAreaPainter extends JComponent implements TabExpander {
/** True if inside printing, will handle disabling the highlight */
boolean printing;
/** Current setting for editor.antialias preference */
// boolean antialias;
/** A specific painter composed by the InputMethod.*/
protected CompositionTextPainter compositionTextPainter;
@@ -129,7 +127,7 @@ public class TextAreaPainter extends JComponent implements TabExpander {
plainFont = new Font(fontFamily, Font.PLAIN, fontSize);
}
boldFont = new Font(fontFamily, Font.BOLD, fontSize);
antialias = Preferences.getBoolean("editor.antialias");
antialias = Preferences.getBoolean("editor.smooth");
// System.out.println(plainFont.getFamily());
// System.out.println(plainFont);