Skip to content

Add new feature: Change History Margin #12164

@donho

Description

@donho

It'll be great that there's a margin for change history which marks saved/unsaved modification and undo states, so user can follow the changes of editing document.

Ref: #12045 (comment)

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions