MySQL Workbenchインターフェイスのフォントサイズを変更するには？

MySQL Workbenchインターフェイスのフォントサイズを変更する方法は？MySQL Workbenchインターフェイスのフォントサイズを変更するには？

注：インターフェイス、エディタフォントではありません。

ことはできませんWindowsの8.1

2017-03-06 Jeffz

上のワークベンチ6.3。いくつかの場所では、システムのフォントサイズ（特に標準コントロール）を使用し、他の多くのフォントはハードコードされたフォントサイズを使用します。

2017-03-06 07:50:34

ありがとうございます。問題は、時にはあなたが何かを見るために虫眼鏡を必要としますが、フォントがシステム全体に作れば、それは異常に大きなフォントやワークベンチフォントを有する他のアプリが凶悪に見えるれ、「スミアインク」見た目（ぱりっとしていない）ことを持っていますということです。したがって、機能性の場合はA、インタフェースの場合はF。これは素晴らしいツールなので、残念です。 – Jeffz

私はあなたの意見を聞いていますが、Windowsには高解像度の表示という概念はありません。他のOSでは、少なくとも高解像度のグラフィックスを搭載したmacOSがあります。問題はフォントサイズだけでなく、すべての要素（ヘッダー、ノードの高さ、グリッドサイズなど）を適切にスケーリングする必要があります。本当に簡単な仕事ではありません。 –

MySQL Workbenchインターフェイスのフォントサイズを変更するには？

答えて

関連する問題