diff options
author | 2021-09-20 15:53:41 +0200 | |
---|---|---|
committer | 2021-09-20 15:53:41 +0200 | |
commit | 50de7f7e60540e7dd157aa83dffec0da9c5ca608 (patch) | |
tree | 69f0ce98be0b3c32fc324c95489cc540ec95a9e6 /language-web/src/main/js/theme/EditorTheme.ts | |
parent | Data structure for predicate representation (diff) | |
parent | Force LF line endings in frontend files (diff) | |
download | refinery-50de7f7e60540e7dd157aa83dffec0da9c5ca608.tar.gz refinery-50de7f7e60540e7dd157aa83dffec0da9c5ca608.tar.zst refinery-50de7f7e60540e7dd157aa83dffec0da9c5ca608.zip |
Merge branch 'web-demo' of https://github.com/viatra/VIATRA-Generator.git into web-demo
Diffstat (limited to 'language-web/src/main/js/theme/EditorTheme.ts')
-rw-r--r-- | language-web/src/main/js/theme/EditorTheme.ts | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/language-web/src/main/js/theme/EditorTheme.ts b/language-web/src/main/js/theme/EditorTheme.ts index 9420dafa..957f2426 100644 --- a/language-web/src/main/js/theme/EditorTheme.ts +++ b/language-web/src/main/js/theme/EditorTheme.ts | |||
@@ -16,9 +16,9 @@ export class EditorThemeData { | |||
16 | 16 | ||
17 | foreground!: string; | 17 | foreground!: string; |
18 | 18 | ||
19 | background!: string; | 19 | foregroundHighlight!: string; |
20 | 20 | ||
21 | paper!: string; | 21 | background!: string; |
22 | 22 | ||
23 | primary!: string; | 23 | primary!: string; |
24 | 24 | ||