Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Enable Highlight modified tabs, so that we can spot easily what files…
… are not saved yet. Related to issue #10.
- Loading branch information