| Methods Summary |
|---|
| public void | actionPerformed(java.awt.event.ActionEvent evt)
continueSearch();
|
| public void | changedUpdate(javax.swing.event.DocumentEvent evt)
runNewSearch(evt.getDocument());
|
| private void | continueSearch()
if(matcher != null) {
if(matcher.find()) {
content.getCaret().setDot(matcher.start());
content.getCaret().moveDot(matcher.end());
content.getCaret().setSelectionVisible(true);
}
}
|
| public void | insertUpdate(javax.swing.event.DocumentEvent evt)
runNewSearch(evt.getDocument());
|
| public static void | main(java.lang.String[] args)
JTextArea text_area = new JTextArea(10,20);
JScrollPane scroll = new JScrollPane(text_area);
IncrementalSearch isearch = new IncrementalSearch(text_area);
JTextField search_field = new JTextField();
search_field.getDocument().addDocumentListener(isearch);
search_field.addActionListener(isearch);
JFrame frame = new JFrame("Incremental Search Hack");
frame.getContentPane().add("North",search_field);
frame.getContentPane().add("Center",scroll);
frame.pack();
frame.show();
|
| public static void | p(java.lang.String str)
System.out.println(str);
|
| public void | removeUpdate(javax.swing.event.DocumentEvent evt)
runNewSearch(evt.getDocument());
|
| private void | runNewSearch(javax.swing.text.Document query_doc)
try {
String query = query_doc.getText(0,query_doc.getLength());
Pattern pattern = Pattern.compile(query);
Document content_doc = content.getDocument();
String body = content_doc.getText(0,content_doc.getLength());
matcher = pattern.matcher(body);
continueSearch();
} catch (Exception ex) {
p("exception: " + ex);
ex.printStackTrace();
}
|
