Skip to content

Commit e2493c0

Browse files
devvaannshabose
authored andcommitted
fix: terminal not exiting design mode
1 parent 782fd2f commit e2493c0

3 files changed

Lines changed: 9 additions & 0 deletions

File tree

src/extensions/default/Git/src/Main.js

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -60,6 +60,8 @@ define(function (require, exports) {
6060
const Commands = brackets.getModule("command/Commands");
6161
if (WorkspaceManager.isInDesignMode()) {
6262
CommandManager.execute(Commands.VIEW_TOGGLE_DESIGN_MODE);
63+
Panel.toggle(true);
64+
return;
6365
}
6466
Panel.toggle();
6567
});

src/extensionsIntegrated/Terminal/main.js

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -889,6 +889,11 @@ define(function (require, exports, module) {
889889
.insertBefore("#app-drawer-button");
890890

891891
$btn.on("click", function () {
892+
if (WorkspaceManager.isInDesignMode()) {
893+
CommandManager.execute(Commands.VIEW_TOGGLE_DESIGN_MODE);
894+
CommandManager.execute(CMD_VIEW_TERMINAL);
895+
return;
896+
}
892897
if (panel && panel.isVisible()) {
893898
panel.hide();
894899
} else {

src/view/DefaultPanelView.js

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -190,6 +190,8 @@ define(function (require, exports, module) {
190190
// leaving design mode.
191191
if (WorkspaceManager.isInDesignMode()) {
192192
CommandManager.execute(Commands.VIEW_TOGGLE_DESIGN_MODE);
193+
_panel.show();
194+
return;
193195
}
194196
if (_panel.isVisible()) {
195197
_panel.hide();

0 commit comments

Comments
 (0)