working on ui, update Java version

This commit is contained in:
Ben Fry
2015-08-19 18:05:26 -04:00
parent 5cf756e009
commit 364e52d288
3 changed files with 5 additions and 4 deletions

View File

@@ -136,6 +136,7 @@ public class JavaTextArea extends JEditTextArea {
gutterLineColor = mode.getColor("gutter.linecolor"); //, gutterLineColor);
gutterPadding = mode.getInteger("gutter.padding");
breakpointMarker = mode.getString("breakpoint.marker"); //, breakpointMarker);
// breakpointMarker = "\u2666";
currentLineMarker = mode.getString("currentline.marker"); //, currentLineMarker);
// TweakMode code