Closed jku closed 11 years ago
Fixes #24 (although whether "unclickable" means "greyed out" depends on the theme).
The first commit is a (mostly) unrelated oneline bug fix, let me know if you prefer things like that in their own PRs.
Pushed. Thanks.
Fixes #24 (although whether "unclickable" means "greyed out" depends on the theme).
The first commit is a (mostly) unrelated oneline bug fix, let me know if you prefer things like that in their own PRs.