Изменение шрифта в MySQLWorkbench

Question

Я использую MySQLWorkbench 5.2, насколько мне известно, новейшую версию, но я просто не могу изменить шрифт. Это очень неудобно, потому что шрифт по умолчанию очень маленький и резкий для глаз. На вкладке «Внешний вид» есть параметры для изменения шрифта, но на самом деле в них нельзя вносить изменения, поскольку поле на самом деле нельзя редактировать.

Кто-нибудь знает способ обойти это? Кажется, это распространенная ошибка, но я нигде не могу найти исправления.

Answer 1

В

Правка> Настройки ...> Внешний вид> Раздел шрифтов

упомянутой версии, вы можете редактировать шрифт, но вам нужно медленно дважды щелкнуть , так как он очень шаткий ( или нажмите enter ), а затем Вы должны вручную ввести имя шрифта, а затем пробел и размер шрифта, например, мои состояния:

Source Sans Pro 10

Также для требуется перезапуск программы .

Answer 2

Аналогично для Mac OS X, используя скрытый путь ниже (ref: this link ):

"Вы можете редактировать настройки непосредственно в их файлах XML.файл ~ / Библиотека / Поддержка приложений / MySQL / Workbench / wb_options.xml. Найдите ключ workbench.general.Editor: Шрифт и измените шрифт там. Теперь перезапустите MWB, чтобы увидеть ваши изменения. "

Answer 3

Правка -> Настройки ... -> Внешний вид -> Раздел шрифтов

Выделите строку, нажмите ENTER, затем вы можете отредактировать шрифт и размер.

Перезапустите приложение после.

Answer 4

После чистой установки MySQL Workbench (WB) 5.2.47 (Windows 7) на новую машину я хотел использовать шрифт Lucida Console , как я привык, но по какой-то причине WB выбирает другой шрифт для зарезервированных ключевых слов, делая код нечитаемым. Там нет настройки для зарезервированных ключевых слов. Поэтому я не мог легко изменить это, отредактировав файл wp_options.xml. Единственной приемлемой настройкой шрифта был Courier New .

Затем я перешел на другую машину и скопировал wp_options.xml из WB 5.2.47, в котором была история обновлений WB. Это добилось цели, оно отлично работало на недавно установленном WB.

Глядя на оба wp_options.xml файла в инструменте сравнения текста, я заметил много различий, но не тех, которые могли бы объяснить разницу. Мой вывод заключается в том, что Oracle необходимо работать с конфигурацией пользовательского интерфейса, так как незаметные, неясные изменения в файле wp_options.xml - это то, что требуется для обеспечения приемлемости пользовательского интерфейса WB.

Answer 5

Ну, я просто хотел увеличить размер шрифта только потому, что он был слишком мал в моем WB 6.1.Ссылался по ссылке, данной 'Kman', и сделал немного другое.

1) Закрыть WB

2) Перейти к, C: \ Users \ User \ AppData \ Roaming \ MySQL \ Workbench\ wb_options.xml.Найдите "workbench.general.Editor: Font".Я получил «Консолас 10» и изменил его на «Консолас 13».Это увеличило шрифт до удобного размера.