「フォントサイズ」一覧

MySQL Workbench8.0はフォントサイズの変更が簡単にできます! Workbenchのエディタの文字が小さくて見づらいと思って色々探してたのですが、最後まで記載がないものしか行き当らず、やっとできましたので、記載しておきます。Result Glidの文字の重なりも解消できます。