--- a/src/Pure/Tools/fontforge.scala Fri May 31 22:35:44 2024 +0200
+++ b/src/Pure/Tools/fontforge.scala Sat Jun 01 12:31:06 2024 +0200
@@ -66,7 +66,7 @@
/** execute fontforge program **/
- def execute(script: Script, args: String = "", cwd: JFile = null): Process_Result =
+ def execute(script: Script, args: String = "", cwd: Path = Path.current): Process_Result =
Isabelle_System.with_tmp_file("fontforge") { script_file =>
File.write(script_file, script)
Isabelle_System.bash(File.bash_path(Path.explode("$ISABELLE_FONTFORGE")) +