|
#!/bin/sh
|
|
|
|
# openjdk11 is required
|
|
. /etc/profile.d/10_openjdk11.sh
|
|
|
|
# default to gtk3, use antialiased fonts
|
|
exec "${JAVA_HOME}/bin/java" \
|
|
-Djdk.gtk.version=3 \
|
|
-Dawt.useSystemAAFontSettings=on \
|
|
-Dswing.aatext=true \
|
|
-jar "/usr/share/jedit/jedit.jar" -reuseview "$@"
|