Closed GoogleCodeExporter closed 8 years ago
I will begin working on this. Marked issue as an enhancement.
Original comment by asumu.ta...@gmail.com
on 2 Sep 2010 at 3:19
Keybindings can now be set from the menu (they could be set before this change,
but you had to change the filter settings to see them). Search for "Checker
plugin" in the key binding page. Some default bindings have been provided where
it made sense.
Original comment by asumu.ta...@gmail.com
on 26 Sep 2010 at 5:10
Original issue reported on code.google.com by
c...@frontiernet.net
on 31 Aug 2010 at 12:36