#689 Ignore Case not correctly toggled: fixed

This commit is contained in:
2015-10-18 15:55:33 +02:00
parent 9839fb496f
commit b45d67014c
2 changed files with 2 additions and 3 deletions
@@ -245,14 +245,13 @@ public class DocumentSearchData {
java.util.ResourceBundle.getBundle("jsyntaxpane/Bundle").getString("DocumentSearchData.Find"), JOptionPane.INFORMATION_MESSAGE);
}
public void showQuickFindDialogEx(JTextComponent target,boolean ignoreCase,boolean regularExpresion) {
public void showQuickFindDialogEx(JTextComponent target, boolean ignoreCase, boolean regularExpresion) {
if (quickFindDlg == null) {
quickFindDlg = new QuickFindDialog(target, this);
}
quickFindDlg.showFor(target);
quickFindDlg.setIgnoreCase(ignoreCase);
quickFindDlg.setRegularExpression(regularExpresion);
quickFindDlg.showFor(target);
}
/**