remove Main.getWorkingDir() by wadoon · Pull Request #3982 · KeYProject/key

Build with Gradle: key.ui/src/main/java/de/uka/ilkd/key/gui/actions/ProofScriptFromFileAction.java#L64

method getFileChooser in class KeYFileChooser cannot be applied to given types;

Build with Gradle: key.ui/src/main/java/de/uka/ilkd/key/gui/actions/OpenMostRecentFileAction.java#L45

method getFileChooser in class KeYFileChooser cannot be applied to given types;

Build with Gradle: key.ui/src/main/java/de/uka/ilkd/key/gui/actions/OpenExampleAction.java#L35

method getFileChooser in class KeYFileChooser cannot be applied to given types;

Build with Gradle: key.ui/src/main/java/de/uka/ilkd/key/gui/actions/OpenSingleJavaFileAction.java#L32

method getFileChooser in class KeYFileChooser cannot be applied to given types;

Build with Gradle: key.ui/src/main/java/de/uka/ilkd/key/gui/WindowUserInterfaceControl.java#L471

method getFileChooser in class KeYFileChooser cannot be applied to given types;

Build with Gradle: key.ui/src/main/java/de/uka/ilkd/key/gui/WindowUserInterfaceControl.java#L450

method getFileChooser in class KeYFileChooser cannot be applied to given types;

Build with Gradle: key.ui/src/main/java/de/uka/ilkd/key/gui/WindowUserInterfaceControl.java#L408

method getFileChooser in class KeYFileChooser cannot be applied to given types;

Build with Gradle: key.ui/src/main/java/de/uka/ilkd/key/gui/settings/SettingsPanel.java#L169

method getFileChooser in class KeYFileChooser cannot be applied to given types;

Build with Gradle: key.ui/src/main/java/de/uka/ilkd/key/gui/settings/SettingsPanel.java#L164

method getFileChooser in class KeYFileChooser cannot be applied to given types;

Build with Gradle: key.ui/src/main/java/de/uka/ilkd/key/ui/AbstractMediatorUserInterfaceControl.java#L216

incompatible types: File cannot be converted to Path

Navigation Menu