1 files changed, 1 insertions, 2 deletions
diff --git a/isa/interface b/isa/interface
index 7f323fdf..8a6cfe48 100644
--- a/isa/interface
+++ b/isa/interface
@@ -117,6 +117,7 @@ ARGS=""
 
 if [ "$WINDOWSYSTEM" = true -a -n "$DISPLAY" ]; then
   ARGS="$ARGS -T Isabelle"
+  [ -n "$XSYMBOL_INSTALLFONTS" ] && "$ISATOOL" installfonts -x
 else
   ARGS="$ARGS -nw"
   XSYMBOL=false
@@ -131,8 +132,6 @@ do
   [ -f "$FILE" ] && ARGS="$ARGS -l $FILE"
 done
 
-[ -n "$XSYMBOL_INSTALLFONTS" ] && "$ISATOOL" installfonts -x
-
 export PROOFGENERAL_ASSISTANTS="$KIND"
 export PROOFGENERAL_LOGIC="$LOGIC"
 export PROOFGENERAL_XSYMBOL="$XSYMBOL"