Skip to content
This repository was archived by the owner on Feb 27, 2022. It is now read-only.
This repository was archived by the owner on Feb 27, 2022. It is now read-only.

Add right-click menu for terminal/tabs #9

Closed
Closed
Add right-click menu for terminal/tabs#9
Labels
enhancement
@andythigpen

Description

@andythigpen
andythigpen
opened on Jan 2, 2011

Right-click menu for terminal:

  • New Tab
  • Close Tab
  • Duplicate Tab
  • Copy
  • Paste

Right-click on tabs:

  • Set title (allow user to set non-override title for tab)
  • Duplicate Tab
  • Close Tab

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancement

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions