attempting to make this slightly less awful

This commit is contained in:
Ben Fry
2015-05-18 21:20:46 -04:00
parent f384ca1d69
commit edc92e22c8

View File

@@ -22,7 +22,6 @@ import javax.swing.text.Document;
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 class JavaEditor extends Editor {
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