This repository was archived by the owner on Aug 14, 2024. It is now read-only.

This repository was archived by the owner on Aug 14, 2024. It is now read-only.

feature request: allow reloading file #59

Open

opened

It would be nice if users could manually reload an opened file without losing the page. Even better, though perhaps harder to implement, would be automatic reloading whenever the file changes.

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests