Sharpie/TeXworks — pull request #14 by stloeffler (2011-10-15 07:44:25+00:00)
Title: Improve tool handling

Implement the possibility to change tools using modifier keys; enable the possibility to make the actual key-map configurable.