Hi! When opening JMeter GUI, I always do "Options->Zoom In" twice due to the small font. Instead, I'd like to configure the initial GUI zoom scale once in the jmeter.properties file.
I developed the simple change (only 1 line of code!) and it works. I named the new property "gui.initialZoomScale". If I proceed with a pull request would this change be accepted? Should I write any unit tests? Regards, G.C.