diff options
| author | Aleksey Kladov <[email protected]> | 2019-12-31 01:27:26 +0000 |
|---|---|---|
| committer | Aleksey Kladov <[email protected]> | 2019-12-31 01:27:26 +0000 |
| commit | 96de8076ff50096a0ae62c5eb7a2e9c77971b552 (patch) | |
| tree | 29733d5f9a20475adc299a6bb363ea472762d93a /editors | |
| parent | 6561634c687cad2d1b7041b45b618d1c336f2e68 (diff) | |
Use optional value shortcut
Diffstat (limited to 'editors')
| -rw-r--r-- | editors/code/src/scopes.ts | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/editors/code/src/scopes.ts b/editors/code/src/scopes.ts index 465556333..f98b57452 100644 --- a/editors/code/src/scopes.ts +++ b/editors/code/src/scopes.ts | |||
| @@ -9,9 +9,9 @@ export interface TextMateRule { | |||
| 9 | } | 9 | } |
| 10 | 10 | ||
| 11 | export interface TextMateRuleSettings { | 11 | export interface TextMateRuleSettings { |
| 12 | foreground: string | undefined; | 12 | foreground?: string; |
| 13 | background: string | undefined; | 13 | background?: string; |
| 14 | fontStyle: string | undefined; | 14 | fontStyle?: string; |
| 15 | } | 15 | } |
| 16 | 16 | ||
| 17 | // Current theme colors | 17 | // Current theme colors |