Mercurial Hosting > editor
changeset 57:f91c336cdde5 default tip
for windows
| author | Franklin Schmidt <fschmidt@gmail.com> |
|---|---|
| date | Thu, 29 May 2025 22:29:34 -0600 |
| parents | 6059b4e22d47 |
| children | |
| files | scripts/install.sh src/luan_editor/Window.luan |
| diffstat | 2 files changed, 8 insertions(+), 2 deletions(-) [+] |
line wrap: on
line diff
--- a/scripts/install.sh Wed May 28 16:02:27 2025 -0600 +++ b/scripts/install.sh Thu May 29 22:29:34 2025 -0600 @@ -18,7 +18,12 @@ set +m -java -Xdock:name="Luan Editor" -classpath \$CLASSPATH luan.Luan classpath:luan_editor/editor.luan "\$@" 2>&1 | grep --line-buffered -v 'NSRemoteView\|NSSavePanel' | tee ~/.luan_editor/error.log & +JAVA_OPTS='-Dfoo' +if [[ "\$(uname)" == "Darwin" ]]; then + JAVA_OPTS='-Xdock:name=Luan Editor' +fi + +java "\$JAVA_OPTS" -Duser.home="$HOME" -classpath \$CLASSPATH luan.Luan classpath:luan_editor/editor.luan "\$@" 2>&1 | grep --line-buffered -v 'NSRemoteView\|NSSavePanel' | tee ~/.luan_editor/error.log & End chmod +x /usr/local/bin/luan_editor
--- a/src/luan_editor/Window.luan Wed May 28 16:02:27 2025 -0600 +++ b/src/luan_editor/Window.luan Thu May 29 22:29:34 2025 -0600 @@ -142,7 +142,8 @@ line_wrap = config.line_wrap whitespace_visible = config.whitespace_visible tab_size = config.tab_size - font = { family="Monospaced", size=13 } + --font = { family="Monospaced", size=13 } + font_changes = { family="Monospaced" } } window.text_area = text_area local title = file and file.canonical().to_string() or "new"