放大 NetLogo(菜单、字体)以适应高屏幕分辨率

lio*_*her 7 netlogo

对于 linux/Gnome 上的 NetLogo 5.3.1:我的屏幕分辨率为 2550 * 1440,使 NetLogo 几乎无法读取。我知道在运行会话期间,我可以增加编辑器中的字体大小。但是我在哪里可以配置 NetLogo 以始终以更大的字体大小开始?菜单图标和字体很小。有什么方法可以配置 NetLogo 使它们更大?非常感谢!

Nic*_*col 2

JEP 263:Windows 和 Linux 上的 HiDPI 图形定义了 OpenJDK 对于 HiDPI 的适当行为,它在 OpenJdk 9 中实现,因此:

  • 安装 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来平衡字体大小。