| Issue 22: | Add a "reload" button in the GUI | |
| 1 person starred this issue and may be notified of changes. | Back to list |
When manually editing DOT files during learning of the DOT language it would be nice to simply press a "reload"/"refresh" button to see changes. |
|
,
Sep 20, 2009
Pressing 'r' key already causes a reload. So it would be just a matter of adding a button.
Summary: Add a "reload" button in the GUI
Status: Accepted Labels: -Type-Defect Type-Enhancement |
|
,
Sep 30, 2009
Commited.
Status: Fixed
|
|
 Sign in to add a comment
|
