use Ctrl/Cmd+. to toggle the Output box

UCSD-PL · Mar 22, 2023 · 736a72a · 736a72a
1 parent 2bd6d43
commit 736a72a
Showing 1 changed file with 18 additions and 0 deletions.
diff --git a/src/vs/editor/contrib/rtv/browser/RTVDisplay.ts b/src/vs/editor/contrib/rtv/browser/RTVDisplay.ts
@@ -2303,6 +2303,10 @@ export class RTVController implements IRTVController {
 		return editorMode !== undefined && editorMode !== 'Log'; //'Log' is the language identifier for the output editor
 	}
 
+	public isOutputBoxShown() {
+		return !this.getOutputBox().isHidden();
+	}
+
 	public showOutputBox() {
 		this.getRunButton().setButtonToHide();
 		this.getOutputBox().show();
@@ -4036,3 +4040,17 @@ createRTVAction(
 		c.decreaseDelay();
 	}
 );
+
+createRTVAction(
+	'rtv.toggleOutputBox',
+	'Toggle displaying the output box',
+	KeyMod.CtrlCmd | KeyCode.Period,
+	localize('rtv.toggleOutputBox', 'Toggle displaying the output box'),
+	(c) => {
+		if (c.isOutputBoxShown()) {
+			c.hideOutputBox();
+		} else {
+			c.showOutputBox();
+		}
+	}
+);