#1202 Check for modifications outside FFDec and ask user to reload

This commit is contained in:
Jindra Petřík
2021-02-12 21:27:57 +01:00
parent e584206142
commit 3d40224cda
8 changed files with 277 additions and 1 deletions

View File

@@ -672,6 +672,10 @@ public final class Configuration {
@ConfigurationCategory("script")
public static ConfigurationItem<Boolean> useOldStyleLookupSwitchAs3PCode = null;
@ConfigurationDefaultBoolean(true)
@ConfigurationCategory("ui")
public static ConfigurationItem<Boolean> checkForModifications = null;
private enum OSId {
WINDOWS, OSX, UNIX
}