CodeEditApp/CodeEdit

✨ Terminal Utility: Tabs & Split View

Open

#379 opened on Apr 2, 2022

View on GitHub
 (23 comments) (2 reactions) (1 assignee)Swift (22,856 stars) (1,165 forks)batch import
enhancementgood first issue

Description

Describe the solution you'd like

Being able to have more than one shell in a project would be great.

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:

https://user-images.githubusercontent.com/806104/161374050-7e8cc0b5-e731-49a3-a7de-6fd41328adea.mp4

Additional context

Depends on

  • #350

Contributor guide