Closed skalarproduktraum closed 1 year ago
This PR fixes an issue where the REPL's startup code would not be executed when the REPL is first shown. It also removes the dependency on the Nashorn-based JavaScript interpreter, as it's not used in scenery anymore, and deprecated in OpenJDK.
This PR fixes an issue where the REPL's startup code would not be executed when the REPL is first shown. It also removes the dependency on the Nashorn-based JavaScript interpreter, as it's not used in scenery anymore, and deprecated in OpenJDK.