MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-10-06 06:21:16 +07:00
Code Issues Packages Projects Releases Wiki Activity

enable background dumb mode from safe delete (IDEA-143007)

Browse Source
This commit is contained in:
peter
2015-07-24 15:05:18 +02:00
parent 9fc2f47d6d
commit d65563133a
1 changed files with 5 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/lang-impl/src/com/intellij/ide/util/DeleteHandler.java
+5 -2
View File
@@ -129,13 +129,16 @@ public class DeleteHandler {
@Override
public void run(final SafeDeleteDialog dialog) {
if (!CommonRefactoringUtil.checkReadOnlyStatusRecursively(project, Arrays.asList(elements), true)) return;
SafeDeleteProcessor.createInstance(project, new Runnable() {
SafeDeleteProcessor processor = SafeDeleteProcessor.createInstance(project, new Runnable() {
@Override
public void run() {
exit.set(true);
dialog.close(DialogWrapper.OK_EXIT_CODE);
}
}, elements, dialog.isSearchInComments(), dialog.isSearchForTextOccurences(), true).run();
}, elements, dialog.isSearchInComments(), dialog.isSearchForTextOccurences(), true);
DumbService.getInstance(project).allowStartingDumbModeInside(DumbService.DumbModePermission.MAY_START_BACKGROUND, processor);
}
}) {
@Override