From 89c348baacce598aaf388c20c4925d375a33aa52 Mon Sep 17 00:00:00 2001 From: Akos Kitta Date: Tue, 21 Jul 2020 11:41:57 +0200 Subject: [PATCH] styled the sketch control contribution. Signed-off-by: Akos Kitta --- .../src/browser/arduino-ide-frontend-module.ts | 2 +- .../{sketch-control-contributions.ts => sketch-control.ts} | 0 arduino-ide-extension/src/browser/style/main.css | 6 ++++++ 3 files changed, 7 insertions(+), 1 deletion(-) rename arduino-ide-extension/src/browser/contributions/{sketch-control-contributions.ts => sketch-control.ts} (100%) diff --git a/arduino-ide-extension/src/browser/arduino-ide-frontend-module.ts b/arduino-ide-extension/src/browser/arduino-ide-frontend-module.ts index 2b5e9801..42daed28 100644 --- a/arduino-ide-extension/src/browser/arduino-ide-frontend-module.ts +++ b/arduino-ide-extension/src/browser/arduino-ide-frontend-module.ts @@ -102,7 +102,7 @@ import { OpenSketchExternal } from './contributions/open-sketch-external'; import { PreferencesContribution as TheiaPreferencesContribution } from '@theia/preferences/lib/browser/preference-contribution'; import { PreferencesContribution } from './theia/preferences/preference-contribution'; import { QuitApp } from './contributions/quit-app'; -import { SketchControl } from './contributions/sketch-control-contributions'; +import { SketchControl } from './contributions/sketch-control'; import { Settings } from './contributions/settings'; import { KeybindingRegistry } from './theia/core/keybindings'; diff --git a/arduino-ide-extension/src/browser/contributions/sketch-control-contributions.ts b/arduino-ide-extension/src/browser/contributions/sketch-control.ts similarity index 100% rename from arduino-ide-extension/src/browser/contributions/sketch-control-contributions.ts rename to arduino-ide-extension/src/browser/contributions/sketch-control.ts diff --git a/arduino-ide-extension/src/browser/style/main.css b/arduino-ide-extension/src/browser/style/main.css index 65f44e02..f350cf5e 100644 --- a/arduino-ide-extension/src/browser/style/main.css +++ b/arduino-ide-extension/src/browser/style/main.css @@ -145,3 +145,9 @@ .p-Widget.dialogOverlay .dialogBlock { background-color: var(--theia-arduino-foreground); } + +#arduino-open-sketch-control--toolbar { + background-color: var(--theia-button-background); + border: 1px solid var(--theia-arduino-toolbar-background); + padding: 2px 0px 2px 8px; +}