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

对于Linux/Gnome上的NetLogo 5.3.1:我的屏幕分辨率为2550 * 1440，这使NetLogo几乎不可读。我知道在运行 session 期间，可以在编辑器中增加字体大小。但是，在哪里可以配置NetLogo使其始终以较大的字体开头？
菜单图标和字体很小。有什么方法可以配置NetLogo使其更大？
非常感谢你!

最佳答案

JEP 263: HiDPI Graphics on Windows and Linux定义了OpenJDK for HiDPI的适当行为，它在OpenJdk 9中实现，因此:

安装OpenJdk 9

打开NetLogo.cfg(我的位于/opt/netlogo/app/NetLogo.cfg)

要在shell中使用它，请执行以下操作:
whereis NetLogols -l /usr/bin/NetLogols -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调整工具来平衡字体大小。

关于netlogo - 放大NetLogo(菜单，字体)以适应高屏幕分辨率，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/37496082/