more cleanups and notes

java/src/processing/mode/java/pdex/JavaTextAreaPainter.java

@@ -251,6 +251,7 @@ public class JavaTextAreaPainter extends TextAreaPainter
     // if no special text for a breakpoint, just show the line number
     if (text == null) {
       text = String.valueOf(line + 1);
+      //text = makeOSF(String.valueOf(line + 1));
     }
     char[] txt = text.toCharArray();
 
@@ -268,6 +269,16 @@ public class JavaTextAreaPainter extends TextAreaPainter
   }
 
 
+  // Failed attempt to switch line numbers to old-style figures
+  String makeOSF(String what) {
+    char[] c = what.toCharArray();
+    for (int i = 0; i < c.length; i++) {
+      c[i] += (char) (c[i] - '0' + 0x362);
+    }
+    return new String(c);
+  }
+
+
 //  /**
 //   * Paint the gutter background (solid color).
 //   *