From 3dcc1eb4ec3e8cbaafbc16f6c9bac905b47e8ae4 Mon Sep 17 00:00:00 2001 From: Ben Fry Date: Thu, 13 Jan 2022 11:29:01 -0500 Subject: [PATCH] removing some crusty code --- .../app/syntax/PdeTextAreaDefaults.java | 2 +- app/src/processing/app/ui/EditorToolbar.java | 32 ------------------- 2 files changed, 1 insertion(+), 33 deletions(-) diff --git a/app/src/processing/app/syntax/PdeTextAreaDefaults.java b/app/src/processing/app/syntax/PdeTextAreaDefaults.java index e6a598cdf..8bb409d01 100644 --- a/app/src/processing/app/syntax/PdeTextAreaDefaults.java +++ b/app/src/processing/app/syntax/PdeTextAreaDefaults.java @@ -35,7 +35,7 @@ import processing.app.ui.Theme; */ public class PdeTextAreaDefaults extends TextAreaDefaults { - public PdeTextAreaDefaults(Mode mode) { + public PdeTextAreaDefaults(Mode ignoredMode) { document = new SyntaxDocument(); // Set to 0 for revision 0215 because it causes strange jumps diff --git a/app/src/processing/app/ui/EditorToolbar.java b/app/src/processing/app/ui/EditorToolbar.java index 06a59db43..7108e93c9 100644 --- a/app/src/processing/app/ui/EditorToolbar.java +++ b/app/src/processing/app/ui/EditorToolbar.java @@ -119,22 +119,6 @@ abstract public class EditorToolbar extends JPanel implements KeyListener { } -// public void registerButton(EditorButton button) { - //button.setRolloverLabel(rolloverLabel); - //editor.getTextArea().addKeyListener(button); -// } - - -// public void setReverse(EditorButton button) { -// button.setGradient(reverseGradient); -// } - - -// public void setText(String text) { -// label.setText(text); -// } - - public void paintComponent(Graphics g) { Dimension size = getSize(); g.drawImage(gradient, 0, 0, size.width, size.height, this); @@ -173,22 +157,6 @@ abstract public class EditorToolbar extends JPanel implements KeyListener { } -// public Component createModeSelector() { -// return new ModeSelector(); -// } - - -// protected void swapButton(EditorButton replacement) { -// if (currentButton != replacement) { -// box.remove(currentButton); -// box.add(replacement, 1); // has to go after the strut -// box.revalidate(); -// box.repaint(); // may be needed -// currentButton = replacement; -// } -// } - - public void activateRun() { runButton.setSelected(true); repaint();