aboutsummaryrefslogtreecommitdiff
path: root/editors/code/src
diff options
context:
space:
mode:
authorSeivan Heidari <[email protected]>2019-10-24 16:59:55 +0100
committerSeivan Heidari <[email protected]>2019-10-24 16:59:55 +0100
commite6df4c424ad8a938fca849b8b4511a7e32f8cd17 (patch)
tree1941f2ae47984ef842594f1d84c9c08b4cd9629d /editors/code/src
parent8e63644d6645b3e62ec92199a460cccde91c5482 (diff)
Fixing linting issues, but also hides failures. Has to be a better approach to error handling.
Diffstat (limited to 'editors/code/src')
-rw-r--r--editors/code/src/scopes.ts6
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