From 45cbe0538b3df55403a2aed2b3a6a7716f636b53 Mon Sep 17 00:00:00 2001 From: Pluto Date: Fri, 15 May 2026 15:17:26 +0530 Subject: [PATCH] fix: terminal not exiting design mode --- src/extensions/default/Git/src/Main.js | 2 ++ src/extensionsIntegrated/Terminal/main.js | 5 +++++ src/view/DefaultPanelView.js | 2 ++ 3 files changed, 9 insertions(+) diff --git a/src/extensions/default/Git/src/Main.js b/src/extensions/default/Git/src/Main.js index 49a9723912..16249c4ca4 100644 --- a/src/extensions/default/Git/src/Main.js +++ b/src/extensions/default/Git/src/Main.js @@ -60,6 +60,8 @@ define(function (require, exports) { const Commands = brackets.getModule("command/Commands"); if (WorkspaceManager.isInDesignMode()) { CommandManager.execute(Commands.VIEW_TOGGLE_DESIGN_MODE); + Panel.toggle(true); + return; } Panel.toggle(); }); diff --git a/src/extensionsIntegrated/Terminal/main.js b/src/extensionsIntegrated/Terminal/main.js index eaca77eb33..29e1649733 100644 --- a/src/extensionsIntegrated/Terminal/main.js +++ b/src/extensionsIntegrated/Terminal/main.js @@ -889,6 +889,11 @@ define(function (require, exports, module) { .insertBefore("#app-drawer-button"); $btn.on("click", function () { + if (WorkspaceManager.isInDesignMode()) { + CommandManager.execute(Commands.VIEW_TOGGLE_DESIGN_MODE); + CommandManager.execute(CMD_VIEW_TERMINAL); + return; + } if (panel && panel.isVisible()) { panel.hide(); } else { diff --git a/src/view/DefaultPanelView.js b/src/view/DefaultPanelView.js index 588f88b490..8ea39f8053 100644 --- a/src/view/DefaultPanelView.js +++ b/src/view/DefaultPanelView.js @@ -190,6 +190,8 @@ define(function (require, exports, module) { // leaving design mode. if (WorkspaceManager.isInDesignMode()) { CommandManager.execute(Commands.VIEW_TOGGLE_DESIGN_MODE); + _panel.show(); + return; } if (_panel.isVisible()) { _panel.hide();