Remove settings in normal tool
authorNikita Kitaev <nikitakit@gmail.com>
Sat, 22 May 2010 21:42:49 +0000 (14:42 -0700)
committerNikita Kitaev <nikitakit@gmail.com>
Sat, 22 May 2010 21:42:49 +0000 (14:42 -0700)
They are no longer necessary and cause bugs when quiting with a modifier
key pressed


No differences found