mirror of
https://github.com/arduino/Arduino.git
synced 2025-03-13 10:29:35 +01:00
Moved -Dawt.useSystemAAFontSettings=on out of java code, where, apparently,
has no effect
This commit is contained in:
parent
f702f1a4e7
commit
6c5e584454
@ -122,7 +122,6 @@ public class Base {
|
||||
private final List<JMenuItem> recentSketchesMenuItems;
|
||||
|
||||
static public void main(String args[]) throws Exception {
|
||||
System.setProperty("awt.useSystemAAFontSettings", "on");
|
||||
System.setProperty("swing.aatext", "true");
|
||||
System.setProperty("java.net.useSystemProxies", "true");
|
||||
|
||||
|
@ -63,8 +63,6 @@ public class Platform extends processing.app.Platform {
|
||||
public void init() throws Exception {
|
||||
super.init();
|
||||
|
||||
System.setProperty("apple.laf.useScreenMenuBar", "true");
|
||||
|
||||
discoverRealOsArch();
|
||||
}
|
||||
|
||||
|
@ -336,6 +336,7 @@
|
||||
<option value="-Dcom.apple.macos.useScreenMenuBar=true"/>
|
||||
<option value="-DAPP_DIR=$APP_ROOT/Contents/Java"/>
|
||||
<option value="-Djava.ext.dirs=$JVM_RUNTIME/Contents/Home/lib/ext/:$JVM_RUNTIME/Contents/Home/jre/lib/ext/"/>
|
||||
<option value="-Dawt.useSystemAAFontSettings=on"/>
|
||||
|
||||
<!--
|
||||
<option value="-Dapple.awt.showGrowBox=false"/>
|
||||
|
2
build/linux/dist/arduino
vendored
2
build/linux/dist/arduino
vendored
@ -25,7 +25,7 @@ if [ -x "$APPDIR/java/bin/java" ]; then
|
||||
fi
|
||||
|
||||
# Collect options to java in an array, to properly handle whitespace in options
|
||||
JAVA_OPTIONS=("-DAPP_DIR=$APPDIR" "-Dswing.defaultlaf=com.sun.java.swing.plaf.gtk.GTKLookAndFeel")
|
||||
JAVA_OPTIONS=("-DAPP_DIR=$APPDIR" "-Dswing.defaultlaf=com.sun.java.swing.plaf.gtk.GTKLookAndFeel" "-Dawt.useSystemAAFontSettings=on")
|
||||
|
||||
if [[ "$@" != *"--upload"* && "$@" != *"--verify"* && "$@" != *"--get-pref"* && "$@" != *"--install-board"* && "$@" != *"--install-library"* ]] ; then
|
||||
JAVA_OPTIONS+=("-splash:$APPDIR/lib/splash.png")
|
||||
|
@ -37,6 +37,7 @@
|
||||
<runtimeBits>32</runtimeBits>
|
||||
<opt>-splash:"%EXEDIR%/lib/splash.png"</opt>
|
||||
<opt>-Dsun.java2d.d3d=false</opt>
|
||||
<opt>-Dawt.useSystemAAFontSettings=on</opt>
|
||||
<opt>-DAPP_DIR="%EXEDIR%"</opt>
|
||||
</jre>
|
||||
<splash>
|
||||
|
@ -36,6 +36,7 @@
|
||||
<path>java</path>
|
||||
<runtimeBits>32</runtimeBits>
|
||||
<opt>-Dsun.java2d.d3d=false</opt>
|
||||
<opt>-Dawt.useSystemAAFontSettings=on</opt>
|
||||
<opt>-DAPP_DIR="%EXEDIR%"</opt>
|
||||
<opt>-DDEBUG=true</opt>
|
||||
</jre>
|
||||
|
Loading…
x
Reference in New Issue
Block a user