web-dev-qa-db-ja.com

MySQL Workbenchでのフォントの変更

私の知る限り、最新バージョンのMySQLWorkbench 5.2を使用していますが、フォントを変更できません。デフォルトのフォントは非常に小さく、目に厳しいので、非常に不便です。外観タブにはフォントを変更するためのオプションがありますが、フィールドは実際には編集できないため、実際には変更できません。

誰かがこれを回避する方法を知っていますか？よくあるバグのようですが、どこにも修正がありません。

mysqlconfigurationfontsmysql-workbench
29
hjweide

の中に

編集>設定...>外観>フォントセクション

上記のバージョンの場合、フォントを編集できますできますが、ゆっくりダブルクリックする必要がありますダブルクリック、非常に不自然なので（またはEnterキーを押します）次に、手動でフォント名を入力し、その後にスペースとフォントサイズを入力する必要があります鉱山の例：

Source Sans Pro 10

また、プログラムの再起動が必要です。

48
varubi

同様に、以下の隠しパスを使用するMac OS Xの場合（参照：this link ）：

「XMLファイルで直接設定を編集できます。MWBをシャットダウンします。次に、ファイル〜/ Library/Application Support/MySQL/Workbench/wb_options.xmlを編集します。キーworkbench.general.Editor：Fontを探して、フォントがあります。変更を確認するには、MWBを再起動してください。」

3
Bill LaPrise

編集->設定...->外観->フォントセクション

行を強調表示してENTERをクリックすると、フォントとサイズを編集できます。

その後、アプリを再起動します。

2
snowbound

新しいマシンにMySQL Workbench（WB）5.2.47（Windows 7）をクリーンインストールした後、慣れているLucida Consoleフォントが欲しかったが、何らかの理由でWBが予約済みの別のフォントを選択するキーワード、コードを読みにくくします。予約済みキーワードの設定はありません。そのため、wp_options.xmlファイルを編集してこれを簡単に変更することはできませんでした。許容できる唯一のフォント設定はCourier Newでした。

次に、別のマシンに行って、WBアップグレードの履歴があったWB 5.2.47からwp_options.xmlをコピーしました。それはトリックをしました、それは新しくインストールされたWBでうまく働きました。

テキスト差分ツールで両方のwp_options.xmlファイルを確認したところ、多くの違いがありましたが、違いを説明できる違いはありませんでした。私の結論は、wp_options.xmlファイルでの微妙なあいまいな編集がWB UIを受け入れ可能にするために必要なものであることは問題なので、OracleはUI構成を処理する必要があるということです。

1
Gruber

フォントのサイズを大きくしたかったのは、WB 6.1でフォントが小さすぎたからです。 「Kman」によって与えられたリンクを参照し、少し異なることをしました。

1）WBを閉じる

2）C：\ Users\User\AppData\Roaming\MySQL\Workbench\wb_options.xmlに移動します。 「workbench.general.Editor：Font」を見つけます。そこで「Consolas 10」を取得し、「Consolas 13」に変更しました。フォントを快適なサイズに増やしました。

0
p_champ