window_stack_push: it's a useful thing