c6194c
Merge pull request #2699 from martinvanzijl/issue-1436-fix-magnet-tool-size-hotkeys Fix for changing size of the magnet tool using hotkeys (#1436)