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

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

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

источник

2012-03-04 casper

5.2 - длинная серия. Какая версия 5.2.x у вас есть? – Sergio

Моя точная версия - 5.2.38, я загрузил ее всего пару дней назад, поэтому я предполагаю, что это самая последняя версия. – casper

Да, до сих пор 5.2.38 является последней версией WB. – Sergio

Edit> Preferences ...> Внешний вид> Шрифты

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

Source Sans Pro 10

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

источник

2013-05-22 21:41:00 varubi

Он также применяется для MySQL Workbench 6.0.6. – broadband

Также подтверждено в MySQL Workbench 6.0.8. Вместо медленного двойного щелчка, я всегда использую щелчок (для выбора), небольшое перемещение (чтобы избежать двойного), нажмите (для действия редактирования) –

Просто нажмите enter вместо двойного щелчка, работает на моем mac – Anil

После чистой установки 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 приемлемым.

источник

2013-03-15 08:33:55 Gruber

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

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

источник

2013-04-17 11:59:13

Edit -> Preferences ... -> Внешний вид -> Шрифты

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

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

источник

2013-11-14 08:11:22 snowbound

Ну, я просто хотел увеличить размер шрифта только потому, что он был слишком мал в моем 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». Это увеличило шрифт до удобного размера.

источник

2014-07-24 15:49:25

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

ответ

Смежные вопросы