Я использую MySQLWorkbench 5.2, самую новую версию, насколько мне известно, но я просто не могу изменить шрифт. Это очень неудобно, потому что шрифт по умолчанию очень маленький и суровый на глазах. На вкладке "Внешний вид" есть опции для изменения шрифта, но на самом деле никаких изменений не происходит, так как это поле фактически не может быть отредактировано.
Кто-нибудь знает об этом? Кажется, это обычная ошибка, но я ничего не могу найти.
В
Изменить > Настройки... > Внешний вид > Раздел "Шрифты"
указанной версии, вы можете отредактировать шрифт, но вам нужно медленно дважды щелкнуть, так как он очень воинственный (или нажмите enter), а затем вам нужно вручную ввести имя шрифта, за которым следует пробел и размер шрифта, например, состояния мины:
Source Sans Pro 10
Также он требует перезагрузки программы.
Аналогично для Mac OS X, используя скрытый путь ниже (ссылка: ссылка):
"Вы можете отредактировать настройки непосредственно в своих файлах XML. Завершите работу MWB, затем отредактируйте файл ~/Library/Application Support/MySQL/Workbench/wb_options.xml. Найдите ключ workbench.general.Editor: Font, и измените шрифт там. Теперь перезапустите MWB, чтобы увидеть ваше изменение."
Изменить → Настройки... → Внешний вид → Раздел шрифтов
Выделите строку, нажмите ENTER, затем вы можете отредактировать шрифт и размер.
Перезагрузите приложение после.
После чистой установки 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 в текстовом инструменте diff, я заметил много различий, но не все, что могло бы объяснить разницу. Мое заключение заключается в том, что Oracle необходимо работать с настройкой пользовательского интерфейса, так как это не нормально, что тонкие, неясные изменения в файле wp_options.xml - это то, что необходимо для того, чтобы сделать WB UI приемлемым.
Ну, я просто хотел увеличить размер шрифта только потому, что он был слишком маленьким в моем 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". Это увеличило шрифт до удобного размера.