Patch from Robert de Bath: blank the saved-session name edit box