jeans/arduino-ide
jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-06-14 08:06:36 +00:00
Code Issues Packages Projects Releases Wiki Activity

styled the sketch control contribution.

Browse Source 
Signed-off-by: Akos Kitta <kittaakos@typefox.io>
This commit is contained in:
Akos Kitta 2020-07-21 11:41:57 +02:00
parent 824d1df4bd
commit 89c348baac
3 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
arduino-ide-extension/src/browser/arduino-ide-frontend-module.ts
View File

@ -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';

0
arduino-ide-extension/src/browser/contributions/sketch-control-contributions.ts → arduino-ide-extension/src/browser/contributions/sketch-control.ts
View File

6
arduino-ide-extension/src/browser/style/main.css
View File

@ -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;
}