Skip to content

Line numbers: Menu similar to GitHub? #67

New issue
New issue
Open
Open
Line numbers: Menu similar to GitHub?#67
Assignees
guruz
Labels
enhancement
@guruz

Description

@guruz
guruz
opened on Jun 25, 2018

Could be nice for integrations.

screen shot 2018-06-25 at 11 51 12

Metadata

Metadata

Assignees

Labels

enhancement

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions