如何在JMeter4UI中增加脚本字体大小

我正在windows中运行JMeter4。我读到我可以使用以下设置来增加字体大小

-jmeter.hidpi.mode=true
-jsyntaxtextarea.font.size = 28
-jmeter.hidpi.scale.factor = 2.0

---

但是我不知道在哪里添加这个，我尝试将它添加到jmeter.bat。但这只是给了我一个错误，说这些命令找不到。我做错了什么？

它是bin\jmeter.properties的一部分。见：

jsyntaxtextarea.font.size 更改（JSyntax）文本区域的大小。仅在设置了jsyntaxtextarea.font.family时使用。 默认值为：-1 没有

要更新它，请在user.properties和reatart JMeter中添加行

应该在user.properties文件中设置jmeter.properties或reportgenerator.properties中的属性。只有在重新启动JMeter后，才会考虑这些属性

还请注意，您有一个菜单选项可以放大