Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Disable "Save" menu and button for unmodified file, use "Save" button…
… to indicate whether current file is modified or not, fix issue #102.
- Loading branch information