annotate oldXMenu/SetFrz.c @ 73104:a90c9318cca9

(compilation-goto-locus-delete-o): New fn. (compilation-goto-locus): Use compilation-goto-locus-delete-o to delete the overlay. Put it on pre-command-hook.
author Richard M. Stallman <rms@gnu.org>
date Sun, 24 Sep 2006 20:42:08 +0000
parents e8a3fb527b77
children ce127a46b1ca d04d8ccb3c41 c5406394f567
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 */
68640
e8a3fb527b77 Update years in copyright notice; nfc.
Thien-Thi Nguyen <ttn@gnuvola.org>
parents: 65000
diff changeset
4 /* Copyright (C) 2002, 2003, 2004, 2005,
e8a3fb527b77 Update years in copyright notice; nfc.
Thien-Thi Nguyen <ttn@gnuvola.org>
parents: 65000
diff changeset
5 2006 Free Software Foundation, Inc. */
25858
Dave Love <fx@gnu.org>
parents:
diff changeset
6
Dave Love <fx@gnu.org>
parents:
diff changeset
7 /*
Dave Love <fx@gnu.org>
parents:
diff changeset
8 * XMenu: MIT Project Athena, X Window system menu package
Dave Love <fx@gnu.org>
parents:
diff changeset
9 *
Dave Love <fx@gnu.org>
parents:
diff changeset
10 * XMenuSetFreeze - Forcibly set the menu freeze mode switch
Dave Love <fx@gnu.org>
parents:
diff changeset
11 * overriding the Xdefaults setting.
Dave Love <fx@gnu.org>
parents:
diff changeset
12 * This is necessary in some situations.
Dave Love <fx@gnu.org>
parents:
diff changeset
13 *
Dave Love <fx@gnu.org>
parents:
diff changeset
14 * Author: Tony Della Fera, DEC
Dave Love <fx@gnu.org>
parents:
diff changeset
15 * January 29, 1986
Dave Love <fx@gnu.org>
parents:
diff changeset
16 *
Dave Love <fx@gnu.org>
parents:
diff changeset
17 */
Dave Love <fx@gnu.org>
parents:
diff changeset
18
Dave Love <fx@gnu.org>
parents:
diff changeset
19 #include "XMenuInt.h"
Dave Love <fx@gnu.org>
parents:
diff changeset
20
Dave Love <fx@gnu.org>
parents:
diff changeset
21 XMenuSetFreeze(menu, freeze)
Dave Love <fx@gnu.org>
parents:
diff changeset
22 register XMenu *menu; /* Menu object to be modified. */
Dave Love <fx@gnu.org>
parents:
diff changeset
23 register int freeze; /* Freeze mode? */
Dave Love <fx@gnu.org>
parents:
diff changeset
24 {
Dave Love <fx@gnu.org>
parents:
diff changeset
25 /*
Dave Love <fx@gnu.org>
parents:
diff changeset
26 * Set the freeze mode switch.
Dave Love <fx@gnu.org>
parents:
diff changeset
27 */
Dave Love <fx@gnu.org>
parents:
diff changeset
28 menu->freeze = freeze;
Dave Love <fx@gnu.org>
parents:
diff changeset
29 }
52401
695cf19ef79e Add arch taglines
Miles Bader <miles@gnu.org>
parents: 25858
diff changeset
30
695cf19ef79e Add arch taglines
Miles Bader <miles@gnu.org>
parents: 25858
diff changeset
31 /* arch-tag: 69c5670b-3a46-4c78-8fdb-305936d79772
695cf19ef79e Add arch taglines
Miles Bader <miles@gnu.org>
parents: 25858
diff changeset
32 (do not change this comment) */