reload button #67

Open

Labels

Milestone

opened

on Apr 26, 2015

as mentioned #59: add a button to the top toolbar for restarting (basically f5 functionality)

Metadata

Assignees

No one assigned

Labels

Projects

No projects

Milestone

patch 2.1

Relationships

None yet

Development

No branches or pull requests