scrollbar for diff view #204

Closed

Closed

scrollbar for diff view#204

Labels

Milestone

opened

on Jul 17, 2020

to visualise where we are in big diffs

Metadata

Assignees

No one assigned

Labels

Type

No type

Projects

No projects

Milestone

v0.10

Relationships

None yet

Development

No branches or pull requests