diff src/w32select.c @ 48898:3b18ddd398f8

(Fset_window_configuration): Set old_point to correct value when new_current_buffer == current_buffer.
author David Kastrup <dak@gnu.org>
date Thu, 19 Dec 2002 16:26:29 +0000
parents 4ef507bc376e
children 940c7de274a2 d7ddb3e565de
line wrap: on
line diff