Редактор VSCode, увеличение размера шрифта для меню

В редакторе VSCode (Windows10 64bit) есть ли способ увеличить размер шрифта для меню - как выпадающего, так и всплывающего?


visual-studio-code vscode-settings
person Lo HaBuyshan    schedule 24.08.2017    source источник
comment
Ты пытался? Ctrl++ и Ctrl+-   -  person Iurii Golskyi    schedule 25.08.2017
comment
Да, но у меня это никак не меняет размер меню. Но кажется, что это работает для вас. Как так?   -  person Lo HaBuyshan    schedule 26.08.2017
comment
Посмотрите здесь vscode-docs.readthedocs.io/en/stable, вы можете найти что-то для себя   -  person Iurii Golskyi    schedule 26.08.2017

Ответы (2)


arrow_upward
6
arrow_downward

Если вы имеете в виду размер шрифта меню только, я понимаю, что в своей попытке ответить на вопрос я потерпел неудачу. Возможно, они ожидают, что такой параметр будет устанавливаться на уровне ОС, я чувствую, что в нем есть необходимость внутри VScode, точно так же, как есть параметры размера шрифта редактора и терминала, должен быть очевидный "menu.fontsize" : 14,

Однако, если вы хотите увеличить/уменьшить размер шрифта всего остального в унисон, то есть то, что обычный пользователь не будет искать, я искал в настройках «шрифт» :) Для этого вы можете добавить следующее в ваш файл vscode/settings.json:

"window.zoomLevel": 0.4

0 по умолчанию, он принимает десятичные дроби с начальным нулем :) 0,4 мне подходит. Я надеюсь, что это помогает кому-то

Встроенная документация по настройкам в настоящее время говорит: // Отрегулируйте уровень масштабирования окна. Исходный размер равен 0, и каждое увеличение выше (например, 1) или ниже (например, -1) соответствует увеличению или уменьшению масштаба на 20 %. Вы также можете ввести десятичные дроби для более точной настройки уровня масштабирования.

person Meryan    schedule 27.03.2018
comment
Спасибо, это именно то, что я ищу, :) - person Adarsh; 12.01.2019

arrow_upward
0
arrow_downward

Этот параметр изменит размер шрифта для определенных элементов, таких как предложения IntelliSense:

// Font size for the suggest widget

  "editor.suggestFontSize": 0,
person Mark    schedule 27.03.2018