Как установить другой цвет фона для окна настроек, кроме фона редактора - PullRequest
Новая
       12

Как установить другой цвет фона для окна настроек, кроме фона редактора

0 голосов
/ 10 мая 2019

Как видно из названия, в моем файле settings.json есть определенные переопределения цветов.

Есть editor.background, но мне было интересно, что это за окна, когда код не открыт?Как окно настроек и т. Д.

1 Ответ

0 голосов
/ 10 мая 2019

AFAIK, нет никаких специальных настроек для фона окна настроек. Все они рассматриваются как «редакторы» и на них влияет одна и та же настройка: 

    "editor.background": "#282a36",

Единственные цвета, относящиеся к окну настроек , это: 

    "settings.checkboxBackground": "#ffb86c",
    "settings.checkboxBorder": "#191a21",
    "settings.checkboxForeground": "#f6f6f4",
    "settings.dropdownBackground": "#262626",
    "settings.dropdownBorder": "#191a21",
    "settings.dropdownForeground": "#f6f6f4",
    "settings.headerForeground": "#f6f6f4",
    "settings.modifiedItemIndicator": "#ffb86c",
    "settings.numberInputBackground": "#262626",
    "settings.numberInputBorder": "#191a21",
    "settings.numberInputForeground": "#f6f6f4",
    "settings.textInputBackground": "#262626",
    "settings.textInputBorder": "#191a21",
    "settings.textInputForeground": "#f6f6f4",
...