Update PlatformCommandManager.java

Dieser Commit ist enthalten in:
Jesse Boyd 2019-11-02 19:32:44 +01:00
Ursprung b97b40e413
Commit 70efdf8c54
Es konnte kein GPG-Schlüssel zu dieser Signatur gefunden werden
GPG-Schlüssel-ID: 59F1DE6293AF6E1F

Datei anzeigen

@ -727,6 +727,7 @@ public final class PlatformCommandManager {
if (context instanceof MemoizingValueAccess) { if (context instanceof MemoizingValueAccess) {
context = ((MemoizingValueAccess) context).snapshotMemory(); context = ((MemoizingValueAccess) context).snapshotMemory();
} else { } else {
System.out.println("Invalid context " + context);
} }
Optional<EditSession> editSessionOpt = context.injectedValue(Key.of(EditSession.class)); Optional<EditSession> editSessionOpt = context.injectedValue(Key.of(EditSession.class));