Bengt Martensson

Better to do this in the context of general overhaul of the remote editor.

Thank you very much for the suggestion. (Also, nice to hear from you!) IrScrutinizer is mainly a tool for analyzing and collecting IrSignals, and to help setting up home automation...

I am not sure what point you want to make. The screen shot shows that when the GUI is "ridiculously" expanded, it behaves well -- everything is readable, nothing overlaps,...

for the one wanting to work on this: cf https://github.com/arduino/Arduino/pull/4376

Possibly relevant: https://github.com/arduino/Arduino/pull/5556

Basically everything (or almost everything) should be scalable and the scaling determined by -- what? I have looked at the Arduino IDE and Firefox, and basically learned that there is...

https://wiki.archlinux.org/index.php/HiDPI#AWT/Swing seems to be at least a crude, solution. Also see https://docs.oracle.com/javase/8/docs/technotes/guides/2d/flags.html

Should be implemented in conjunction with #73.

Better to do this in the context of general overhaul of the remote editor.

On hold for IrpTransmogrifier.