jmeter5.1修改界面字体大小

两篇文章结合进行修改

https://www.cnblogs.com/xiaozhenzhen/p/11721191.html

https://www.cnblogs.com/yaoze2018/p/10049507.html

单独使用这篇文章的方法也可

https://www.cnblogs.com/cici-CC/p/12551621.html