feat: add new and kill terminal option in terminal docs

Author: devvaannsh

src/extensionsIntegrated/Terminal/main.js

@@ -58,6 +58,7 @@ define(function (require, exports, module) {
     const CMD_TERMINAL_COPY = "terminal.copy";
     const CMD_TERMINAL_PASTE = "terminal.paste";
     const CMD_TERMINAL_SELECT_ALL = "terminal.selectAll";
+    const CMD_TERMINAL_KILL = "terminal.kill";
     const CMD_TERMINAL_CLEAR = "terminal.clear";
     const TERMINAL_CONTEXT_MENU_ID = "terminal-context-menu";
     const PANEL_ID = "terminal-panel";
@@ -109,7 +110,7 @@ define(function (require, exports, module) {
     function _createPanel() {
         const templateVars = {
             Strings: {
-                CMD_NEW_TERMINAL: "New Terminal",
+                CMD_NEW_TERMINAL: Strings.CMD_NEW_TERMINAL,
                 TERMINAL_CLEAR: "Clear",
                 TERMINAL_KILL: "Kill",
                 CMD_HIDE_TERMINAL: "Close Panel"
@@ -578,7 +579,7 @@ define(function (require, exports, module) {
             }
 
             $item.append($('<span class="terminal-flyout-close"></span>')
-                .attr("title", Strings.TERMINAL_CLOSE_TAB_TOOLTIP)
+                .attr("title", Strings.CMD_KILL_TERMINAL)
                 .append('<i class="fa-solid fa-xmark"></i>'));
             $item.append('<span class="terminal-flyout-icon"><i class="fa-solid fa-terminal"></i></span>');
             $item.append($('<span class="terminal-flyout-title"></span>').text(label));
@@ -822,7 +823,7 @@ define(function (require, exports, module) {
     }
 
     // Register commands
-    CommandManager.register("New Terminal", CMD_NEW_TERMINAL, _createNewTerminal, { supportsDesignMode: true });
+    CommandManager.register(Strings.CMD_NEW_TERMINAL, CMD_NEW_TERMINAL, _createNewTerminal, { supportsDesignMode: true });
     CommandManager.register(Strings.CMD_VIEW_TERMINAL, CMD_VIEW_TERMINAL, _showTerminal, { supportsDesignMode: true });
     CommandManager.register(Strings.CMD_OPEN_IN_INTEGRATED_TERMINAL,
         Commands.NAVIGATE_OPEN_IN_INTEGRATED_TERMINAL, function () {
@@ -865,6 +866,12 @@ define(function (require, exports, module) {
             active.focus();
         }
     });
+    CommandManager.register(Strings.CMD_KILL_TERMINAL, CMD_TERMINAL_KILL, function () {
+        const active = _getActiveTerminal();
+        if (active) {
+            _closeTerminal(active.id);
+        }
+    });
     CommandManager.register(Strings.TERMINAL_CLEAR, CMD_TERMINAL_CLEAR, function () {
         _clearActiveTerminal();
         const active = _getActiveTerminal();
@@ -879,6 +886,9 @@ define(function (require, exports, module) {
     terminalContextMenu.addMenuItem(CMD_TERMINAL_PASTE);
     terminalContextMenu.addMenuItem(CMD_TERMINAL_SELECT_ALL);
     terminalContextMenu.addMenuDivider();
+    terminalContextMenu.addMenuItem(CMD_NEW_TERMINAL);
+    terminalContextMenu.addMenuItem(CMD_TERMINAL_KILL);
+    terminalContextMenu.addMenuDivider();
     terminalContextMenu.addMenuItem(CMD_TERMINAL_CLEAR);
 
     // Enable/disable Copy based on terminal selection
@@ -888,6 +898,7 @@ define(function (require, exports, module) {
         CommandManager.get(CMD_TERMINAL_COPY).setEnabled(hasSelection);
         CommandManager.get(CMD_TERMINAL_PASTE).setEnabled(active && active.isAlive);
         CommandManager.get(CMD_TERMINAL_SELECT_ALL).setEnabled(!!active);
+        CommandManager.get(CMD_TERMINAL_KILL).setEnabled(!!active);
         CommandManager.get(CMD_TERMINAL_CLEAR).setEnabled(!!active);
     });
 

src/nls/root/strings.js

@@ -1821,7 +1821,8 @@ define({
     "TERMINAL_FOCUS_HINT": "Press {0} to switch between editor and terminal",
     "TERMINAL_CLEAR": "Clear Terminal",
     "TERMINAL_CLEAR_BUFFER_HINT": "💡 Press {0} to clear terminal buffer",
-    "TERMINAL_CLOSE_TAB_TOOLTIP": "Kill Terminal",
+    "CMD_NEW_TERMINAL": "New Terminal",
+    "CMD_KILL_TERMINAL": "Kill Terminal",
     "EXTENDED_COMMIT_MESSAGE": "EXTENDED",
     "GETTING_STAGED_DIFF_PROGRESS": "Getting diff of staged files\u2026",
     "GIT_COMMIT": "Git commit\u2026",