annotate src/m/alliant1.h @ 58994:720c9b9bf376

(describe-property-list): Don't treat syntax-table specially. Use describe-text-sexp which inserts [show] button for large objects and handles printing errors. Sort properties by names in alphabetical order instead of by value sizes. Add `mouse-face' to list of properties for `describe-face' widget. (describe-char): Mask out face-id from 19 bits of character. Print face-id separately.
author Juri Linkov <juri@jurta.org>
date Thu, 16 Dec 2004 13:09:48 +0000
parents 695cf19ef79e
children 375f2633d815
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
457
e442bb589751 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
1 /* config.h should include this file for version 1 of Alliant's
e442bb589751 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
2 operating system. */
e442bb589751 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
3
49600
23a1cea22d13 Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents: 457
diff changeset
4 /* The following line tells the configuration script what sort of
457
e442bb589751 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
5 operating system this machine is likely to run.
e442bb589751 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
6 USUAL-OPSYS="bsd4-2" */
e442bb589751 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
7
e442bb589751 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
8 #define ALLIANT_1
e442bb589751 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
9 #include "alliant.h"
52401
695cf19ef79e Add arch taglines
Miles Bader <miles@gnu.org>
parents: 49600
diff changeset
10
695cf19ef79e Add arch taglines
Miles Bader <miles@gnu.org>
parents: 49600
diff changeset
11 /* arch-tag: 516688f9-4b94-4356-9bf0-92b2d72e664e
695cf19ef79e Add arch taglines
Miles Bader <miles@gnu.org>
parents: 49600
diff changeset
12 (do not change this comment) */