editor-rs
diff --git a/‎src/components/configuration/RlsConfiguration.ts
Copy file name to clipboardExpand all lines: src/components/configuration/RlsConfiguration.ts
+3-4Lines changed: 3 additions & 4 deletions b/‎src/components/configuration/RlsConfiguration.ts
Copy file name to clipboardExpand all lines: src/components/configuration/RlsConfiguration.ts
+3-4Lines changed: 3 additions & 4 deletions
@@ -157,17 +157,16 @@ function getUserEnv(): object {
 
 function getUserRevealOutputChannelOn(): RevealOutputChannelOn {
     const configuration = getUserConfiguration();
-    if (!configuration) {
-        return RevealOutputChannelOn.Error;
-    }
-    switch (configuration.revealOutputChannelOn) {
+    const value = configuration ? configuration.revealOutputChannelOn : undefined;
+    switch (value) {
         case 'info':
             return RevealOutputChannelOn.Info;
         case 'warn':
             return RevealOutputChannelOn.Warn;
         case 'error':
             return RevealOutputChannelOn.Error;
         case 'never':
+            return RevealOutputChannelOn.Never;
         default:
             return RevealOutputChannelOn.Error;
     }