eessppeelllloo/processing4
1
0
Fork 0
mirror of https://github.com/processing/processing4.git synced 2026-01-29 19:31:16 +01:00
Code Issues Packages Projects Releases Wiki Activity

smoothing out footer handling

Browse Source
This commit is contained in:
Ben Fry
2015-05-19 03:01:39 -04:00
parent b0d5472f19
commit d196b7891e
5 changed files with 102 additions and 64 deletions
Download Patch File Download Diff File Expand all files Collapse all files

31
java/src/processing/mode/java/JavaEditor.java
View File

@@ -206,7 +206,7 @@ public class JavaEditor extends Editor {
@Override
public Container createFooter() {
public EditorFooter createFooter() {
// //JPanel consolePanel = new JPanel();
// JTabbedPane footer = new JTabbedPane(JTabbedPane.BOTTOM);
//// tabPane.setUI(new BasicTabbedPaneUI());
@@ -215,7 +215,9 @@ public class JavaEditor extends Editor {
//// tabPane.setUI(new PlasticTabbedPaneUI());
//// tabPane.setBorder(BorderFactory.createEmptyBorder());
//// tabPane.setBackground(Color.RED);
EditorFooter footer = new EditorFooter(this);
// EditorFooter footer = new EditorFooter(this);
EditorFooter footer = super.createFooter();
// Adding Error Table in a scroll pane
errorTableScrollPane = new JScrollPane();
@@ -251,7 +253,8 @@ public class JavaEditor extends Editor {
// consoleProblemsPane.add(super.createConsolePanel(), Language.text("editor.footer.console"));
// consolePanel.add(consoleProblemsPane, BorderLayout.CENTER);
footer.addPanel(Language.text("editor.footer.console"), new EditorConsole(this));
// console = new EditorConsole(this);
// footer.addPanel(Language.text("editor.footer.console"), console);
footer.addPanel(Language.text("editor.footer.errors"), errorTableScrollPane);
//return consolePanel;
@@ -2571,7 +2574,8 @@ public class JavaEditor extends Editor {
public void showProblemListView(String buttonName) {
// CardLayout cl = (CardLayout) consoleProblemsPane.getLayout();
// cl.show(consoleProblemsPane, buttonName);
((JTabbedPane) consolePanel).setSelectedIndex(ERROR_TAB_INDEX);
// ((JTabbedPane) consolePanel).setSelectedIndex(ERROR_TAB_INDEX);
footer.setPanel(errorTableScrollPane);
}
@@ -2586,14 +2590,17 @@ public class JavaEditor extends Editor {
* the error button at the bottom of the PDE
*/
public void updateErrorToggle() {
String title = Language.text("editor.footer.errors");
if (JavaMode.errorCheckEnabled && errorCheckerService.hasErrors()) {
title += "*";
}
((JTabbedPane) consolePanel).setTitleAt(ERROR_TAB_INDEX, title);
// btnShowErrors.updateMarker(JavaMode.errorCheckEnabled &&
// errorCheckerService.hasErrors(),
// errorBar.errorColor);
footer.setNotification(errorTableScrollPane,
JavaMode.errorCheckEnabled &&
errorCheckerService.hasErrors());
// String title = Language.text("editor.footer.errors");
// if (JavaMode.errorCheckEnabled && errorCheckerService.hasErrors()) {
// title += "*";
// }
// ((JTabbedPane) footer).setTitleAt(ERROR_TAB_INDEX, title);
//// btnShowErrors.updateMarker(JavaMode.errorCheckEnabled &&
//// errorCheckerService.hasErrors(),
//// errorBar.errorColor);
}