Modified version that does session saving the "nice way" and works when 
closing the last window. Kept for historical reasons.