おれ環かもしれないけど不具合報告
フォント設定アドオンでフォントをいじると他のソフトのフォントも変わってしまう
俺の環境ではdiffbrowserっていうソフトのツリー表示のフォントが100%変わる