annotate oldXMenu/EvHand.c @ 52617:f8adaf14f570

(set_window_buffer): Fix redisplay problems when switching between buffers with different display margin widths.
author Kim F. Storm <storm@cua.dk>
date Wed, 24 Sep 2003 23:52:45 +0000
parents 695cf19ef79e
children f0eb34e60705 e8824c4f5f7e 375f2633d815
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
25858
Dave Love <fx@gnu.org>
parents:
diff changeset
1 #include "copyright.h"
Dave Love <fx@gnu.org>
parents:
diff changeset
2
52401
695cf19ef79e Add arch taglines
Miles Bader <miles@gnu.org>
parents: 25858
diff changeset
3 /* $Header: /cvsroot/emacs/emacs/oldXMenu/EvHand.c,v 1.1 1999/10/03 19:35:01 fx Exp $ */
25858
Dave Love <fx@gnu.org>
parents:
diff changeset
4 /* Copyright Massachusetts Institute of Technology 1985 */
Dave Love <fx@gnu.org>
parents:
diff changeset
5
Dave Love <fx@gnu.org>
parents:
diff changeset
6 /*
Dave Love <fx@gnu.org>
parents:
diff changeset
7 * XMenu: MIT Project Athena, X Window system menu package
Dave Love <fx@gnu.org>
parents:
diff changeset
8 *
Dave Love <fx@gnu.org>
parents:
diff changeset
9 * XMenuEventHandler - Set the XMenu asynchronous event handler.
Dave Love <fx@gnu.org>
parents:
diff changeset
10 *
Dave Love <fx@gnu.org>
parents:
diff changeset
11 * Author: Tony Della Fera, DEC
Dave Love <fx@gnu.org>
parents:
diff changeset
12 * December 19, 1985
Dave Love <fx@gnu.org>
parents:
diff changeset
13 *
Dave Love <fx@gnu.org>
parents:
diff changeset
14 */
Dave Love <fx@gnu.org>
parents:
diff changeset
15
Dave Love <fx@gnu.org>
parents:
diff changeset
16 #include "XMenuInt.h"
Dave Love <fx@gnu.org>
parents:
diff changeset
17
Dave Love <fx@gnu.org>
parents:
diff changeset
18 XMenuEventHandler(handler)
Dave Love <fx@gnu.org>
parents:
diff changeset
19 int (*handler)();
Dave Love <fx@gnu.org>
parents:
diff changeset
20 {
Dave Love <fx@gnu.org>
parents:
diff changeset
21 /*
Dave Love <fx@gnu.org>
parents:
diff changeset
22 * Set the global event handler variable.
Dave Love <fx@gnu.org>
parents:
diff changeset
23 */
Dave Love <fx@gnu.org>
parents:
diff changeset
24 _XMEventHandler = handler;
Dave Love <fx@gnu.org>
parents:
diff changeset
25 }
Dave Love <fx@gnu.org>
parents:
diff changeset
26
52401
695cf19ef79e Add arch taglines
Miles Bader <miles@gnu.org>
parents: 25858
diff changeset
27 /* arch-tag: 8d614c8c-94d9-43c8-8e32-c438a3c8a8a3
695cf19ef79e Add arch taglines
Miles Bader <miles@gnu.org>
parents: 25858
diff changeset
28 (do not change this comment) */