comparison src/w32menu.c @ 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 52f36f4b0e4f
children 4d7b83cc03aa
comparison
equal deleted inserted replaced
46895:61e9b1699fd2 46896:549bdeb52a93