/** This method performs Edit->Find. */
private Runner doFind() {
if (wrap) return wrapMe();
JTextField x = OurUtil.textfield(lastFind,30);
x.selectAll();
JCheckBox c = new JCheckBox("Case Sensitive?",lastFindCaseSensitive);
c.setMnemonic('c');
JCheckBox b = new JCheckBox("Search Backward?",!lastFindForward);
b.setMnemonic('b');
if (!OurDialog.getInput("Find", "Text:", x, " ", c, b)) return null;