You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Version 1.22.2
Commit 3aeede733d9a3098f7b4bdc1f66b63b0f48c1ef9
Date 2018-04-12T16:38:45.278Z
Shell 1.7.12
Renderer 58.0.3029.110
Node 7.9.0
Architecture x64
OS Version: Windows 10
Steps to Reproduce:
Open terminal (AKA term1) and split it (with Ctrl+\)
Open another terminal (AKA term2)
Ctrl+Shift+P Switch Active Terminal
Click on the Rename button of term1 and change it's name, this changes fine: bash, bash -> client, bash
Click on the Rename button of term2 and change it's name, this changes the name of the second split terminal of term1: client, bash -> client, server
This happens when opening more terminals or split terminals.
Basically, the Rename action changes the terminal at index = line in the list of terminals,
but the list of terminals contains all the split terminals, so index = 2 in the switch list is the second terminal in the terminals list, which is the split terminal of term1 in the example.
Windows 10Steps to Reproduce:
term1) and split it (withCtrl+\)term2)Ctrl+Shift+P Switch Active TerminalRenamebutton ofterm1and change it's name, this changes fine:bash, bash->client, bashRenamebutton ofterm2and change it's name, this changes the name of the second split terminal ofterm1:client, bash->client, serverBasically, the
Renameaction changes the terminal atindex = line in the list of terminals,but the list of terminals contains all the split terminals, so
index = 2in the switch list is the second terminal in the terminals list, which is the split terminal ofterm1in the example.