annotate oldXMenu/SetFrz.c @ 54140:766aaa5bded5

ABNF parser. Fix bug on productions like test = {"test"}* | ("tt" ["test"]). Reported by Markus Dreyer.
author Vinicius Jose Latorre <viniciusjl@ig.com.br>
date Wed, 25 Feb 2004 00:07:33 +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/SetFrz.c,v 1.1 1999/10/03 19:35:13 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 * XMenuSetFreeze - Forcibly set the menu freeze mode switch
Dave Love <fx@gnu.org>
parents:
diff changeset
10 * overriding the Xdefaults setting.
Dave Love <fx@gnu.org>
parents:
diff changeset
11 * This is necessary in some situations.
Dave Love <fx@gnu.org>
parents:
diff changeset
12 *
Dave Love <fx@gnu.org>
parents:
diff changeset
13 * Author: Tony Della Fera, DEC
Dave Love <fx@gnu.org>
parents:
diff changeset
14 * January 29, 1986
Dave Love <fx@gnu.org>
parents:
diff changeset
15 *
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 #include "XMenuInt.h"
Dave Love <fx@gnu.org>
parents:
diff changeset
19
Dave Love <fx@gnu.org>
parents:
diff changeset
20 XMenuSetFreeze(menu, freeze)
Dave Love <fx@gnu.org>
parents:
diff changeset
21 register XMenu *menu; /* Menu object to be modified. */
Dave Love <fx@gnu.org>
parents:
diff changeset
22 register int freeze; /* Freeze mode? */
Dave Love <fx@gnu.org>
parents:
diff changeset
23 {
Dave Love <fx@gnu.org>
parents:
diff changeset
24 /*
Dave Love <fx@gnu.org>
parents:
diff changeset
25 * Set the freeze mode switch.
Dave Love <fx@gnu.org>
parents:
diff changeset
26 */
Dave Love <fx@gnu.org>
parents:
diff changeset
27 menu->freeze = freeze;
Dave Love <fx@gnu.org>
parents:
diff changeset
28 }
52401
695cf19ef79e Add arch taglines
Miles Bader <miles@gnu.org>
parents: 25858
diff changeset
29
695cf19ef79e Add arch taglines
Miles Bader <miles@gnu.org>
parents: 25858
diff changeset
30 /* arch-tag: 69c5670b-3a46-4c78-8fdb-305936d79772
695cf19ef79e Add arch taglines
Miles Bader <miles@gnu.org>
parents: 25858
diff changeset
31 (do not change this comment) */