Как увеличить размер шрифта в WebStorm?
размер шрифта в Редакторе WebStorm слишком мал на мой вкус (или мои глаза, я должен сказать).
Я попытался изменить его через настройки > редактор > цвета и BFonts > шрифт, который имеет поле редактирования "размер" в разделе "Шрифт редактора", но он только для чтения.
Итак, как я могу "поднять" размер шрифта? Я также (сначала) попробовал Ctrl+mouseWheel, но это также не привело к какой-либо радости в Мадвилле.
6 ответов
для изменения шрифта и размера шрифта создайте свою собственную тему, затем вы можете редактировать все шрифты
настройки цвета шрифтов: обязательно снимите флажок наследование с помощью " использовать атрибуты наследования"
P. S фотографии из phpstorm, но он должен работать и для webstorm
для изменения размера шрифта необходимо сохранить пользовательскую схему.
Настройки > Редактор > Цвета И Шрифты
выберите Save as... и назовите его как вам угодно.
после сохранения пользовательской схемы теперь можно увеличить размер шрифта.
изменить размер шрифта с помощью MouseWheel
(называется "масштабирование редактора")
чтобы изменить размер шрифта в Редакторе
- откройте диалоговое окно Настройки / Настройки, разверните узел редактор и нажмите кнопку "общие".
- убедитесь, что параметр изменить размер шрифта (масштаб) с Ctrl+MouseWheel включен.
https://www.jetbrains.com/help/idea/2017.1/zooming-in-the-editor.html
Файл / Настройки / Общие
проверить " изменить размер шрифта (масштабирование) с помощью Ctrl + колесо мыши
подтверждено исправление для WebStorm 10.
