diff options
author | Seivan Heidari <[email protected]> | 2019-10-24 16:59:55 +0100 |
---|---|---|
committer | Seivan Heidari <[email protected]> | 2019-10-24 16:59:55 +0100 |
commit | e6df4c424ad8a938fca849b8b4511a7e32f8cd17 (patch) | |
tree | 1941f2ae47984ef842594f1d84c9c08b4cd9629d | |
parent | 8e63644d6645b3e62ec92199a460cccde91c5482 (diff) |
Fixing linting issues, but also hides failures. Has to be a better approach to error handling.
-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 c38f6bb50..a099696a9 100644 --- a/editors/code/src/scopes.ts +++ b/editors/code/src/scopes.ts | |||
@@ -31,14 +31,14 @@ export function load() { | |||
31 | const themeName = vscode.workspace.getConfiguration('workbench').get('colorTheme') | 31 | const themeName = vscode.workspace.getConfiguration('workbench').get('colorTheme') |
32 | 32 | ||
33 | if (typeof themeName !== 'string') { | 33 | if (typeof themeName !== 'string') { |
34 | console.warn('workbench.colorTheme is', themeName) | 34 | // console.warn('workbench.colorTheme is', themeName) |
35 | return | 35 | return |
36 | } | 36 | } |
37 | // Try to load colors from that theme | 37 | // Try to load colors from that theme |
38 | try { | 38 | try { |
39 | loadThemeNamed(themeName) | 39 | loadThemeNamed(themeName) |
40 | } catch (e) { | 40 | } catch (e) { |
41 | console.warn('failed to load theme', themeName, e) | 41 | // console.warn('failed to load theme', themeName, e) |
42 | } | 42 | } |
43 | } | 43 | } |
44 | 44 | ||
@@ -130,7 +130,7 @@ function checkFileExists(filePath: string): boolean { | |||
130 | if (stats && stats.isFile()) { | 130 | if (stats && stats.isFile()) { |
131 | return true; | 131 | return true; |
132 | } else { | 132 | } else { |
133 | console.warn('no such file', filePath) | 133 | // console.warn('no such file', filePath) |
134 | return false; | 134 | return false; |
135 | } | 135 | } |
136 | 136 | ||