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

Dark theme implementation (#991)

Browse Source
This commit is contained in:
Francesco Spissu
2022-06-07 10:48:45 +02:00
committed by GitHub
parent d7809616a4
commit 3a3ac6da4e
9 changed files with 736 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -287,7 +287,14 @@ MonacoThemingService.register({
id: 'arduino-theme',
label: 'Light (Arduino)',
uiTheme: 'vs',
json: require('../../src/browser/data/arduino.color-theme.json'),
json: require('../../src/browser/data/default.color-theme.json'),
});
MonacoThemingService.register({
id: 'arduino-theme-dark',
label: 'Dark (Arduino)',
uiTheme: 'vs-dark',
json: require('../../src/browser/data/dark.color-theme.json'),
});
export default new ContainerModule((bind, unbind, isBound, rebind) => {