From 19613de1b4eb46a7fe1ee2228f4317e1d2ffdb7a Mon Sep 17 00:00:00 2001 From: Akos Kitta Date: Mon, 8 Feb 2021 15:29:41 +0100 Subject: [PATCH] ATL-936: Fixed the theme dropdown in the settings. Signed-off-by: Akos Kitta --- arduino-ide-extension/src/browser/settings.tsx | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/arduino-ide-extension/src/browser/settings.tsx b/arduino-ide-extension/src/browser/settings.tsx index 2c1b2ba8..b856ea93 100644 --- a/arduino-ide-extension/src/browser/settings.tsx +++ b/arduino-ide-extension/src/browser/settings.tsx @@ -300,7 +300,7 @@ export class SettingsComponent extends React.Component