removing some crusty code

This commit is contained in:
Ben Fry
2022-01-13 11:29:01 -05:00
parent e6fe61e9d7
commit 3dcc1eb4ec
2 changed files with 1 additions and 33 deletions
@@ -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
@@ -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();