mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-15 11:53:49 +07:00
notnull
GitOrigin-RevId: 575a18b440cd04ac019a6b273ee02b0bd03a38a0
This commit is contained in:
committed by
intellij-monorepo-bot
parent
cd579b207d
commit
80ce0c6949
@@ -132,7 +132,7 @@ public final class CheckRegExpForm {
|
||||
}
|
||||
|
||||
@Override
|
||||
protected EditorEx createEditor() {
|
||||
protected @NotNull EditorEx createEditor() {
|
||||
final EditorEx editor = super.createEditor();
|
||||
editor.putUserData(CHECK_REG_EXP_EDITOR, Boolean.TRUE);
|
||||
editor.putUserData(IncrementalFindAction.SEARCH_DISABLED, Boolean.TRUE);
|
||||
@@ -192,7 +192,7 @@ public final class CheckRegExpForm {
|
||||
}
|
||||
|
||||
@Override
|
||||
protected EditorEx createEditor() {
|
||||
protected @NotNull EditorEx createEditor() {
|
||||
final EditorEx editor = super.createEditor();
|
||||
editor.putUserData(IncrementalFindAction.SEARCH_DISABLED, Boolean.TRUE);
|
||||
editor.setEmbeddedIntoDialogWrapper(true);
|
||||
|
||||
Reference in New Issue
Block a user