working on ui, update Java version

benfry · benfry · commit 91db900c3efa · 2015-08-19T18:05:26.000-04:00
diff --git a/app/src/processing/app/ui/EditorFooter.java b/app/src/processing/app/ui/EditorFooter.java
@@ -55,12 +55,12 @@ public class EditorFooter extends Box {
   // amount of extra space between individual tabs
   static final int TAB_BETWEEN = 2;
   // amount of margin on the left/right for the text on the tab
-  static final int MARGIN = 10;
+  static final int MARGIN = 14;
 
   static final int ICON_WIDTH = 16;
   static final int ICON_HEIGHT = 16;
   static final int ICON_TOP = 7;
-  static final int ICON_MARGIN = 8;
+  static final int ICON_MARGIN = 7;
 
   Color[] textColor = new Color[2];
   Color[] tabColor = new Color[2];
diff --git a/build/build.xml b/build/build.xml
@@ -64,8 +64,8 @@
   -->
   <!-- Switching to 8 because updates for 7 ended April 2015 -->
   <property name="jdk.version" value="8" />
-  <property name="jdk.update" value="51" />
-  <property name="jdk.build" value="16" />
+  <property name="jdk.update" value="60" />
+  <property name="jdk.build" value="27" />
   <property name="jdk.short" value="${jdk.version}u${jdk.update}" />
   <property name="jdk.esoteric" value="1.${jdk.version}.0_${jdk.update}" />
 
diff --git a/java/src/processing/mode/java/pdex/JavaTextArea.java b/java/src/processing/mode/java/pdex/JavaTextArea.java
@@ -136,6 +136,7 @@ public JavaTextArea(TextAreaDefaults defaults, JavaEditor editor) {
     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
