238783 Fix for changing size of the magnet tool using hotkeys (#1436)

Authored and Committed by Martin van Zijl 5 years ago
    Fix for changing size of the magnet tool using hotkeys (#1436)
    
    The viewer now correctly shows the updated tool size.