Красим Тею
Делюсь простейшим и наиболее безопасным (без левых плагинов из магазинов) как уже сегодня использовать свои темы в Среде Разработки:
1. Через инструменты разработчика вашего браузера подбираем стили по вкусу: переменные которые мы изменили (и только их!) заносим в отдельный локальный css файлик
2. Теперь настало время получившийся CSS превратить в JS, для этого можете использовать шаблон:
javascript:(function () {
const css =
.theia-dark{
--backgroundColorSecondary: #35396e;
--backgroundColorTretiary: #c39248;
}
;const style = document.createElement('style'); style.type = 'text/css'; style.appendChild(document.createTextNode(css)); document.head.appendChild(style);})();
где значение константы css - переменые css которые нужно поменять
3. Получившийся js превращаем в закладку в браузере:
для этого в списке закладок - добавить закладку - Имя произвольное, а в поле URL вставьте весь ваш код. Обычно поле ввода там не многострочное.4. Готово, теперь находясь в любом экземпляре среды вы можете быстро применить любую свою тему оформления, нажав на закладку, например,накрутить корпоративные цвета.
