From 48cf67ba0c807be0fa04094bf5256f496b882c67 Mon Sep 17 00:00:00 2001 From: Ben Fry Date: Sat, 30 Jul 2016 12:09:11 -0400 Subject: [PATCH] hrm... --- java/src/processing/mode/java/pdex/JavaTextAreaPainter.java | 3 ++- todo.txt | 2 ++ 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/java/src/processing/mode/java/pdex/JavaTextAreaPainter.java b/java/src/processing/mode/java/pdex/JavaTextAreaPainter.java index 61f4b5db6..1f9e311da 100644 --- a/java/src/processing/mode/java/pdex/JavaTextAreaPainter.java +++ b/java/src/processing/mode/java/pdex/JavaTextAreaPainter.java @@ -46,7 +46,6 @@ import javax.swing.text.BadLocationException; import javax.swing.text.Segment; import javax.swing.text.Utilities; -import processing.app.Messages; import processing.app.Mode; import processing.app.SketchCode; import processing.app.syntax.SyntaxDocument; @@ -183,6 +182,8 @@ public class JavaTextAreaPainter extends TextAreaPainter //text = makeOSF(String.valueOf(line + 1)); gfx.setFont(gutterTextFont); +// ((Graphics2D) gfx).setRenderingHint(RenderingHints.KEY_TEXT_ANTIALIASING, +// RenderingHints.VALUE_TEXT_ANTIALIAS_OFF); // Right-align the text char[] txt = text.toCharArray(); int tx = textRight - gfx.getFontMetrics().charsWidth(txt, 0, txt.length); diff --git a/todo.txt b/todo.txt index 3b87d81e6..11ec9b54e 100644 --- a/todo.txt +++ b/todo.txt @@ -1,6 +1,8 @@ 0252 (3.1.3?) _ modify line number color when no lines extend that far? _ https://github.com/processing/processing/pull/4560 +_ text gutter doesn't seem to be hidpi +X or is it b/c screen not quite 2x? (nope) _ swap out the fonts? contrib