最近、ディスプレイを高解像度(2K)な物に変えたのですが、 Windows での画面スケールを 200% にしても、JOSM の フォントが小さいままな感じがしています。 特に、編集しているときの右ペイン、例えば地物の属性で キー:値 を変更するところ、各キーとその値がかなり小さな フォントになっています。ここを変更することはできるでしょうか。 https://josm.openstreetmap.de/wiki/Help/HiDPISupport は見つけて、gui.scale.menu.font とかをいくつかいじってみた のですが、アイコンなどのサイズは変わりましたが肝心の↑ の所は変わらなかったのでした。 何か良い方法があればぜひ。 ribbon