#290 BUG: After changing views: the selection tool doesn't work; needs click on diagram to reset

#290