From 7b8118f0c6104b4fb504fbff428257c4aa267e03 Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Mon, 18 Jul 2022 07:39:05 +0000
Subject: [PATCH] Updated themes

---
 arduino-ide-extension/src/browser/data/dark.color-theme.json    | 2 ++
 arduino-ide-extension/src/browser/data/default.color-theme.json | 2 ++
 2 files changed, 4 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 1a3f602a0..c1be9e816 100644
--- a/arduino-ide-extension/src/browser/data/dark.color-theme.json
+++ b/arduino-ide-extension/src/browser/data/dark.color-theme.json
@@ -46,6 +46,8 @@
     "arduino.output.foreground": "#ffffff",
     "arduino.output.background": "#000000",
     "arduino.toolbar.button.hoverBackground": "#dae3e3",
+    "arduino.toolbar.button.secondary.label": "#dae3e3",
+    "arduino.toolbar.button.secondary.hoverBackground": "#dae3e366",
     "arduino.toolbar.button.background": "#0ca1a6",
     "arduino.toolbar.dropdown.border": "#7fcbcd",
     "arduino.toolbar.dropdown.borderActive": "#0ca1a6",
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 db11c1461..d3a1d2a2d 100644
--- a/arduino-ide-extension/src/browser/data/default.color-theme.json
+++ b/arduino-ide-extension/src/browser/data/default.color-theme.json
@@ -46,6 +46,8 @@
     "arduino.output.foreground": "#ffffff",
     "arduino.output.background": "#000000",
     "arduino.toolbar.button.hoverBackground": "#f7f9f9",
+    "arduino.toolbar.button.secondary.label": "#dae3e3",
+    "arduino.toolbar.button.secondary.hoverBackground": "#dae3e366",
     "arduino.toolbar.button.background": "#7fcbcd",
     "arduino.toolbar.dropdown.border": "#dae3e3",
     "arduino.toolbar.dropdown.borderActive": "#7fcbcd",