java - 如何更改JMeter的字体？ (现在上部 i 与下部 L 相同)

Question

我进行了网络搜索，只找到了有关如何更改字体大小的链接:
How to change font size for JMeter?

我使用的是 MacOS JMeter 5.1，控件内的字体显示上部 i 与下部 L 相同。当我开始阅读尺寸问题的答案时，我开始了解 Java 跨平台的 HiDPI 和 swing 是什么。

在jmeter.properties中取消注释jsyntaxtextarea.font.size=24并没有产生任何可见的效果，使用Zoom确实改变了字体，但 i-L 问题在较大比例下仍然存在。

我有什么选择？

1. 下载JMeter源码，重建。 - 对我来说很复杂，乍一看最不合意。字体名称在源代码中的哪里设置？
2. 尝试使用swing功能。不确定无需重建 JMeter 是否可行。至于swing我只看过What font in Swing looks the same in all OS?现在回答字体大小:

Now for fonts, you can use Swing mechanism. To do that, add to jmeter.sh or jmeter.bat the JVM System property:

-Dswing.plaf.metal.controlFont=Dialog-20

And ensure you use the Cross Platform LAF .

但“有趣的是”跨平台 LAF 复制粘贴在我的 Mac 上不起作用。 Command-C 适用于某些 LAF，但不适用于其他 LAF(包括跨平台)。 “上 i 与下 L 相同”问题在所有 LAF 上都可见。

尝试 MacOS 字体替换。再次不确定是否可行。快速网络搜索macos字体替换没有找到具体的一些默认字体更改等。JMeter使用什么字体？

添加:下面是脚本从 asnwer 运行后发生的情况，有些部分变得不适合空间，有些太小。

Answer 1

1. 如果复制粘贴快捷方式在 Mac 上不起作用，您应该通过 JMeter Bugzilla 提出此问题

2. 您可以通过将下一行添加到 system.properties file 来将 JMeter 字体更改为您喜欢的任何字体。 (位于 JMeter 安装的“bin”文件夹中)

   swing.aatext=true
   swing.plaf.metal.controlFont=Comic Sans MS
   swing.plaf.metal.userFont=Comic Sans MS
   

   需要重新启动 JMeter 才能获取属性

3. 作为最后的手段，您可以随时选择 Groovy scripting并直接在运行时更改字体，例如:

   import javax.swing.*
   import java.awt.Font
   
   def keys = UIManager.getDefaults().keys()
   keys.each { key ->
       def value = UIManager.get(key)
       if (value instanceof javax.swing.plaf.FontUIResource) {
           UIManager.put(key, new javax.swing.plaf.FontUIResource("Comic Sans MS", Font.ITALIC, 24))
       }
   }
   

   因此，您将获得有史以来最好的 JMeter UX: