From 588f720f9824a7c12fd2d4117bc1090b1a5a82e6 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" <41898282+github-actions[bot]@users.noreply.github.com> Date: Fri, 15 Jul 2022 05:22:27 +0000 Subject: [PATCH] Updated themes --- arduino-ide-extension/src/browser/data/dark.color-theme.json | 1 + arduino-ide-extension/src/browser/data/default.color-theme.json | 1 + 2 files changed, 2 insertions(+) diff --git a/arduino-ide-extension/src/browser/data/dark.color-theme.json b/arduino-ide-extension/src/browser/data/dark.color-theme.json index 6930a193b..a84225183 100644 --- a/arduino-ide-extension/src/browser/data/dark.color-theme.json +++ b/arduino-ide-extension/src/browser/data/dark.color-theme.json @@ -47,6 +47,7 @@ "arduino.output.background": "#000000", "arduino.toolbar.button.hoverBackground": "#dae3e3", "arduino.toolbar.button.background": "#0ca1a6", + "arduino.toolbar.toggleBackground": "#f1c40f", "sideBar.background": "#101618", "sideBar.foreground": "#dae3e3", "input.background": "#000000", diff --git a/arduino-ide-extension/src/browser/data/default.color-theme.json b/arduino-ide-extension/src/browser/data/default.color-theme.json index 54d3e7101..ad4338f56 100644 --- a/arduino-ide-extension/src/browser/data/default.color-theme.json +++ b/arduino-ide-extension/src/browser/data/default.color-theme.json @@ -47,6 +47,7 @@ "arduino.output.background": "#000000", "arduino.toolbar.button.hoverBackground": "#f7f9f9", "arduino.toolbar.button.background": "#7fcbcd", + "arduino.toolbar.toggleBackground": "#f1c40f", "sideBar.background": "#f7f9f9", "sideBar.foreground": "#4e5b61", "input.background": "#ffffff",