Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- private void searchNextButtonActionPerformed(java.awt.event.ActionEvent evt) {
- String text = textBox.getText();
- int len = searchField.getText().length();
- index = text.indexOf(searchField.getText(),index);
- try {
- textBox.getHighlighter().removeAllHighlights();
- if(!(index<0))
- {
- textBox.getHighlighter().addHighlight(index, index+len, DefaultHighlighter.DefaultPainter);
- }else{
- index++;
- searchNextButtonActionPerformed(evt);
- }
- } catch (BadLocationException ex) {}
- index++;
- }
- private void searchPrevButtonActionPerformed(java.awt.event.ActionEvent evt) {
- String text = textBox.getText();
- String reversedQuery = new StringBuilder(searchField.getText()).reverse().toString();
- String reversedText = new StringBuilder(text).reverse().toString();
- int len = reversedQuery.length();
- index = (reversedText.length()-reversedText.indexOf(reversedQuery,(reversedText.length()-index)+1))-len;
- try {
- textBox.getHighlighter().removeAllHighlights();
- if(!(index+len>text.length()))
- {
- textBox.getHighlighter().addHighlight(index, index+len, DefaultHighlighter.DefaultPainter);
- }else{
- index++;
- searchPrevButtonActionPerformed(evt);
- }
- } catch (BadLocationException ex) {}
- index++;
- }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement