attempting to make this slightly less awful

benfry · benfry · commit 53c8f1205cb4 · 2015-05-18T21:20:46.000-04:00
diff --git a/java/src/processing/mode/java/JavaEditor.java b/java/src/processing/mode/java/JavaEditor.java
@@ -22,7 +22,6 @@
 import org.eclipse.jdt.core.compiler.IProblem;
 
 import processing.core.PApplet;
-
 import processing.app.*;
 import processing.app.Toolkit;
 import processing.app.contrib.AvailableContribution;
@@ -210,12 +209,15 @@ public void rebuild() {
   public Container createConsolePanel() {
     //JPanel consolePanel = new JPanel();
     JTabbedPane tabPane = new JTabbedPane(JTabbedPane.BOTTOM);
+//    tabPane.setUI(new BasicTabbedPaneUI());
+//    tabPane.setBorder(BorderFactory.createEmptyBorder());
 
     // Adding Error Table in a scroll pane
     errorTableScrollPane = new JScrollPane();
     errorTable = new XQErrorTable(errorCheckerService);
     // errorTableScrollPane.setBorder(new EmptyBorder(2, 2, 2, 2));
-    errorTableScrollPane.setBorder(new EtchedBorder());
+//    errorTableScrollPane.setBorder(new EtchedBorder());
+    errorTableScrollPane.setBorder(BorderFactory.createEmptyBorder());
     errorTableScrollPane.setViewportView(errorTable);
 
 //    // Adding toggle console button
