Ability to cancel renaming identifiers on file load

This commit is contained in:
Jindra Petřík
2023-09-28 19:24:23 +02:00
parent 5a2da3a327
commit d44e0883a4

View File

@@ -968,7 +968,7 @@ public class Main {
@Override
public void status(String status) {
if ("renaming.identifiers".equals(status)) {
startWork(AppStrings.translate("work.renaming.identifiers"), null);
startWork(AppStrings.translate("work.renaming.identifiers"), worker);
}
}
}, Configuration.parallelSpeedUp.get(), charset);
@@ -1064,7 +1064,7 @@ public class Main {
@Override
public void status(String status) {
if ("renaming.identifiers".equals(status)) {
startWork(AppStrings.translate("work.renaming.identifiers"), null);
startWork(AppStrings.translate("work.renaming.identifiers"), worker);
}
}
}, Configuration.parallelSpeedUp.get(), false, true, new UrlResolver() {