訳の分からん表示モードになったJOSMの表示の直し方

2022年6月27日

私の好みのこの画面に戻すために、色々やってみた。