#1595 History of script search results per SWF

This commit is contained in:
Jindra Petřík
2021-02-22 21:48:08 +01:00
parent 0d2fcb0897
commit 4097d6b8f2
18 changed files with 528 additions and 27 deletions

View File

@@ -123,7 +123,7 @@ public class SearchPanel<E> extends JPanel {
View.checkAccess();
searchPos.setText((foundPos + 1) + "/" + found.size());
listener.updateSearchPos(found.get(foundPos));
listener.updateSearchPos(searchFor, searchIgnoreCase, searchRegexp, found.get(foundPos));
}
private void cancelButtonActionPerformed(ActionEvent evt) {