File menu: Open source file #250

Open

Labels

opened

on Nov 11, 2021

When there is a known source file for the file (ex Github) show file menu option to open the file in the source explorer (ex: Github).

Metadata

Assignees

No one assigned

Labels

Type

No type

Fields

No fields configured for issues without a type.

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests