Skip to content

Keybinding to rename the title of a tab #966

Closed
Closed
Keybinding to rename the title of a tab#966
Labels
type: enhancement
@FabianoLothor

Description

@FabianoLothor
FabianoLothor
opened on Feb 26, 2023

Description

Title is self-explanatory

Metadata

Metadata

Assignees

No one assigned

    Labels

    type: enhancement

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions