对于 linux/Gnome 上的 NetLogo 5.3.1:我的屏幕分辨率为 2550 * 1440,使 NetLogo 几乎无法读取。我知道在运行会话期间,我可以增加编辑器中的字体大小。但是我在哪里可以配置 NetLogo 以始终以更大的字体大小开始?菜单图标和字体很小。有什么方法可以配置 NetLogo 使它们更大?非常感谢!
JEP 263:Windows 和 Linux 上的 HiDPI 图形定义了 OpenJDK 对于 HiDPI 的适当行为,它在 OpenJdk 9 中实现,因此:
打开NetLogo.cfg(我的位于/opt/netlogo/app/NetLogo.cfg)
要找到它,请在 shell 中使用:
whereis NetLogo
ls -l /usr/bin/NetLogo
ls -l /opt/netlogo/app
添加到[JVMOptions]部分
-Dswing.defaultlaf=com.sun.java.swing.plaf.gtk.GTKLookAndFeel
-Dawt.useSystemAAFontSettings=on
-Dsun.java2d.dpiaware=true
要使用为 HiDPI 准备的 GTK L&F,那么可以使用GNOME Tweak Tool来平衡字体大小。