BuboBubo/topos
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

attributing a new default theme

Browse Source
This commit is contained in:
Raphaël Forment
2023-12-16 13:01:24 +01:00
parent f21faa3798
commit 09a7295f18
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/FileManagement.ts
View File

@ -136,7 +136,7 @@ export class AppSettings {
*/ */
public vimMode: boolean = false; public vimMode: boolean = false;
public theme: string = "Dracula"; public theme: string = "Everblush";
public font: string = "IBM Plex Mono"; public font: string = "IBM Plex Mono";
public font_size: number = 24; public font_size: number = 24;
public universes: Universes; public universes: Universes;

2
src/main.ts
View File

@ -214,7 +214,7 @@ export class Editor {
if (this.settings.theme in available_themes) { if (this.settings.theme in available_themes) {
this.readTheme(this.settings.theme); this.readTheme(this.settings.theme);
} else { } else {
this.settings.theme = "Dracula"; this.settings.theme = "Everblush";
this.readTheme(this.settings.theme); this.readTheme(this.settings.theme);
} }
} }