annotate oldXMenu/EvHand.c @ 67425:98dba3ad8a8a

(isearch-highlight): Change main overlay priority from 1 to 1001. Simplify. (isearch-lazy-highlight-update): Change lazy overlay priority from 0 to 1000.
author Juri Linkov <juri@jurta.org>
date Fri, 09 Dec 2005 09:45:06 +0000
parents 3861ff8f4bf1
children e8a3fb527b77 532e0a9335a9 2d92f5c9d6ae
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
Dave Love <fx@gnu.org>
parents:
diff changeset
3 /* Copyright Massachusetts Institute of Technology 1985 */
65000
3861ff8f4bf1 Update years in copyright notice; nfc.
Thien-Thi Nguyen <ttn@gnuvola.org>
parents: 54770
diff changeset
4 /* Copyright (C) 2002, 2003, 2004, 2005 Free Software Foundation, Inc. */
25858
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) */