Skip to content

RUNME NOTEBOOKS shows wrong markdown files #704

@rubensa

Description

@rubensa

It should respect the workbench.editorAssociations setting to filter out those extensions not associated with runme.

I just want the default editor to be used for *.md files but runme editor por *.runme files so I set:

        "workbench.editorAssociations": {
          // Use default editor for markdown files (do not use runme editor)
          "*.md": "default",
          // Use runme editor for extended runable markdown files
          "*.runme": "runme"
        },

The files are opened with the right editor but the RUNME NOTEBOOKS shows .md (but it should show .runme files instead).

Metadata

Metadata

Assignees

Labels

documentationImprovements or additions to documentationquestionFurther information is requested

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions