diff lib-src/rcs-checkin @ 46896:549bdeb52a93

(split-window-save-restore-data): Use push and with-current-buffer. (handle-select-window): Don't do anything if the window has disappeared since the event was generated.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Thu, 15 Aug 2002 00:34:04 +0000
parents fda999d78224
children 23a1cea22d13
line wrap: on
line diff