Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Change colors of editor widgets (Find/Replace dialog etc.)
Closes: #6
- Loading branch information