[gnome-builder] plugins/terminal: fix double terminal displayed
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder] plugins/terminal: fix double terminal displayed
- Date: Sat, 16 Jul 2022 05:09:07 +0000 (UTC)
commit f00a0ab4a97a5fc5cb99065a3afdcb7d5cf1cb2c
Author: Christian Hergert <chergert redhat com>
Date: Fri Jul 15 22:08:49 2022 -0700
plugins/terminal: fix double terminal displayed
src/plugins/terminal/gbp-terminal-workspace-addin.c | 1 -
1 file changed, 1 deletion(-)
---
diff --git a/src/plugins/terminal/gbp-terminal-workspace-addin.c
b/src/plugins/terminal/gbp-terminal-workspace-addin.c
index a6c6f7386..6d335f8fd 100644
--- a/src/plugins/terminal/gbp-terminal-workspace-addin.c
+++ b/src/plugins/terminal/gbp-terminal-workspace-addin.c
@@ -152,7 +152,6 @@ terminal_in_runtime_action (GbpTerminalWorkspaceAddin *self,
if (ide_str_empty0 (cwd))
cwd = g_get_home_dir ();
- gbp_terminal_workspace_addin_add_page (self, IDE_TERMINAL_RUN_AS_SUBPROCESS, cwd);
gbp_terminal_workspace_addin_add_page (self, IDE_TERMINAL_RUN_IN_RUNTIME, cwd);
}
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]