✨ Multiple Terminals

[Angelk90]

Describe the solution you'd like

As you can see from the image, being able to have more than one shell in a project would be great.

Edit by @austincondiff:

This is the design that we will use for multiple terminals. We need this tab system in place in the status bar and the git controls moved up to the toolbar first, then in the terminal tab build the multiple terminal tabs UI, this is how this would look.

Please note the following behaviors:

• The plus icon adds a new terminal tab (not in a group).
• The minus button closes the selected tab.
• Press the delete key while terminal tab sidebar is in focus to close the selected tab.
• Drag an ungrouped terminal tab on top of another ungrouped terminal tab to create a group.
• Drag an ungrouped terminal tab into an existing group to add it to that group.
• Drag a terminal tab within a group to reorder it.
• Drag a grouped terminal tab to another group to move it to another group.

Describe alternatives you've considered

Here are some examples of how it handles Webstorm:

Screen.Recording.2022-03-24.at.5.21.16.PM.mp4

Additional context

Depends on

• #350

[Angelk90]

@austincondiff : What program is that in the video?

Opening would be better like this:

Registrazione.schermo.2022-04-02.alle.12.58.58.mov

[austincondiff]

@Angelk90 I agree that it should open as a drawer like in your video. That video is from VSCode, and demonstrates how it handles terminal tabs and split terminal views. The question we need to answer for this is how are we going to do multiple terminals in this drawer? Will we use tabs? How will we handle split terminals? Will terminals be the only thing that exists in this drawer or will there be other kinds of things like output, issues, debug, console, etc.?

[austincondiff]

This is the design that we will use for multiple terminals. We need this tab system in place in the status bar and the git controls moved up to the toolbar first, then in the terminal tab build the multiple terminal tabs UI, this is how this would look.

Please note the following behaviors:

• The plus icon adds a new terminal tab (not in a group).
• The minus button closes the selected tab.
• Press the delete key while terminal tab sidebar is in focus to close the selected tab.
• Drag an ungrouped terminal tab on top of another ungrouped terminal tab to create a group.
• Drag an ungrouped terminal tab into an existing group to add it to that group.
• Drag a terminal tab within a group to reorder it.
• Drag a grouped terminal tab to another group to move it to another group.

(updated in issue description)