diff options
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/generate-pd-settings-files.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/generate-pd-settings-files.sh b/scripts/generate-pd-settings-files.sh index 02a547e6..e00db37b 100755 --- a/scripts/generate-pd-settings-files.sh +++ b/scripts/generate-pd-settings-files.sh @@ -166,7 +166,7 @@ print_macosx_nloadlib $i # run separately so some libs can be excluded on Windows ${ECHO} "Running for Windows:" -${ECHO} -n "bin\\pd.exe -noprefs " > $WINDOWS_BATCH +${ECHO} -n "bin\\pd.exe -noprefs -font-face \"Lucida Console\" " > $WINDOWS_BATCH ${ECHO} -e $WINDOWS_HEADER > $WINDOWS_FILE ${ECHO} -e $WINDOWS_INNO_HEADER > $WINDOWS_INNO_REG_FILE |