Skip to content

Add a project command tool #2973

Open
Open
Add a project command tool#2973
Labels
editorComponent: EditorenhancementEnhancement: New feature or improvement
Milestone
Release 26.3 Beta 1

Description

@vkbo
vkbo
opened on Aug 15, 2026

See #2958 for background discussion.

Add a VSCode style Ctrl+Shift+P command menu for opening files, and also changing certain meta data values for the current document like status/importance, active/inactive, etc.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    editorComponent: EditorenhancementEnhancement: New feature or improvement

    Type

    No type

    Projects

    No projects

      Milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions