#1592 wkla 2014/10/14
changes back Editor to use handleClose on windowClose
changes Base.handleClose(): call storeSketches before removing the last
editor.