implementation of find/replace, and bug fix for stuck 'open' button

processing/app/PdeEditorFind.java

@@ -0,0 +1,182 @@
+import java.awt.*;
+import java.awt.event.*;
+import javax.swing.*;
+
+
+/*
+            Find: [    ]
+    Replace with: [    ]
+
+    [ ] Ignore Case
+
+    [Replace All] [Replace] [Replace & Find] [Previous] [Next]
+*/
+public class PdeEditorFind extends JFrame implements ActionListener {
+  static final int BIG = 13;
+  static final int SMALL = 6;
+
+  PdeEditor editor;
+
+  JTextField findField;
+  JTextField replaceField;
+
+  JButton replaceButton; 
+  JButton replaceAllButton; 
+  //JButton replaceFindButton;
+  //JButton previousButton; 
+  //JButton nextButton;
+  JButton findButton;
+
+  boolean found;
+
+
+  public PdeEditorFind(PdeEditor editor) {
+    super("Find");
+    setResizable(false);
+    this.editor = editor;
+
+    Container pain = getContentPane();
+    pain.setLayout(null);
+
+    JLabel findLabel = new JLabel("Find:");
+    Dimension d0 = findLabel.getPreferredSize();
+    JLabel replaceLabel = new JLabel("Replace with:");
+    Dimension d1 = replaceLabel.getPreferredSize();
+
+    pain.add(findLabel);
+    pain.add(replaceLabel);
+
+    pain.add(findField = new JTextField(20));
+    pain.add(replaceField = new JTextField(20));
+    Dimension d2 = findField.getPreferredSize();
+
+    // +1 since it's better to tend downwards
+    int yoff = (1 + d2.height - d1.height) / 2;
+
+    findLabel.setBounds(BIG + (d1.width-d0.width) + yoff, BIG, 
+			d1.width, d1.height);
+    replaceLabel.setBounds(BIG, BIG + d2.height + SMALL + yoff,
+			   d1.width, d1.height);
+
+    JPanel buttons = new JPanel();
+    buttons.setLayout(new FlowLayout());
+    if ((PdeBase.platform == PdeBase.MACOSX) || 
+	(PdeBase.platform == PdeBase.MACOS9)) {
+      buttons.add(replaceButton = new JButton("Replace"));
+      buttons.add(replaceAllButton = new JButton("Replace All"));
+      buttons.add(findButton = new JButton("Find"));
+    } else {
+      buttons.add(findButton = new JButton("Find"));
+      buttons.add(replaceButton = new JButton("Replace"));
+      buttons.add(replaceAllButton = new JButton("Replace All"));
+    }
+    pain.add(buttons);
+
+    // to fix ugliness.. normally macosx java 1.3 puts an 
+    // ugly white border around this object, so turn it off.
+    if (PdeBase.platform == PdeBase.MACOSX) {
+      buttons.setBorder(null);
+    }
+
+    //System.out.println(buttons.getPreferredSize());
+    Dimension d3 = buttons.getPreferredSize();
+    buttons.setBounds(BIG, BIG + d2.height*2 + SMALL + BIG, 
+		      d3.width, d3.height);
+
+    findField.setBounds(BIG + d1.width + SMALL, BIG, 
+			d3.width - (d1.width + SMALL), d2.height);
+    replaceField.setBounds(BIG + d1.width + SMALL, BIG + d2.height + SMALL, 
+			   d3.width - (d1.width + SMALL), d2.height);
+
+    replaceButton.addActionListener(this);
+    replaceAllButton.addActionListener(this);
+    findButton.addActionListener(this);
+
+    // you mustn't replace what you haven't found, my son
+    replaceButton.setEnabled(false);
+
+    // so that typing will go straight to this field
+    findField.requestFocus();
+
+    // make the find button the blinky default
+    getRootPane().setDefaultButton(findButton);
+
+    Dimension screen = Toolkit.getDefaultToolkit().getScreenSize();
+
+    int wide = d3.width + BIG*2;
+    int high = BIG + d2.height*2 + SMALL + BIG*3 + d3.height;
+
+    setBounds((screen.width - wide) / 2,
+	      (screen.height - high) / 2, wide, high);
+    show();
+  }
+
+
+  public void actionPerformed(ActionEvent e) {
+    Object source = e.getSource();
+
+    if (source == findButton) {
+      find();
+
+    } else if (source == replaceButton) {
+      replace();
+
+    } else if (source == replaceAllButton) {
+      replaceAll();
+    }
+  }
+
+
+  // look for the next instance of the find string
+  // to be found later than the current caret selection
+
+  // once found, select it (and go to that line)
+
+  public void find() {
+    String search = findField.getText();
+    if (search.length() == 0) return;
+
+    String text = editor.textarea.getText();
+
+    search = search.toLowerCase();
+    text = text.toLowerCase();  // ignore case
+
+    //int selectionStart = editor.textarea.getSelectionStart();
+    int selectionEnd = editor.textarea.getSelectionEnd();
+
+    int nextIndex = text.indexOf(search, selectionEnd);
+    if (nextIndex == -1) {
+      nextIndex = text.indexOf(search, 0);
+      if (nextIndex == -1) {  // wrapping
+	found = false;
+	replaceButton.setEnabled(false);
+	//Toolkit.getDefaultToolkit().beep();
+	return;
+      }
+    }
+    found = true;
+    replaceButton.setEnabled(true);
+    editor.textarea.select(nextIndex, nextIndex + search.length());
+  }
+
+
+  // replace the current selection with whatever's in the 
+  // replacement text field
+
+  public void replace() {
+    //System.out.println("replace " + found);
+    if (!found) return;  // don't replace if nothing found
+    editor.textarea.setSelectedText(replaceField.getText());
+    editor.setSketchModified(true);
+  }
+
+
+  // keep doing find and replace alternately until nothing more found
+
+  public void replaceAll() {
+    do {
+      find();
+      replace();
+    } while (found);
+  }
+}