fix 'close and halt' in notebook File menu