annotate src/s/riscos5.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
12896
d4f7dec4acb7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1 #include "bsd4-3.h"
d4f7dec4acb7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
2
d4f7dec4acb7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
3 /* This file has changes that Jost Krieger <x920031@rubb.rz.ruhr-uni-bochum.de>
d4f7dec4acb7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
4 says are necessary. */
d4f7dec4acb7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
5
d4f7dec4acb7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
6 /* No declaration in system header files. */
d4f7dec4acb7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
7 extern double atof ();
d4f7dec4acb7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
8
d4f7dec4acb7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
9 #define LD_SWITCH_SYSTEM -non_shared
d4f7dec4acb7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
10
d4f7dec4acb7 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
11 #define GETPGRP_NO_ARG
52401
695cf19ef79e Add arch taglines
Miles Bader <miles@gnu.org>
parents: 12896
diff changeset
12
695cf19ef79e Add arch taglines
Miles Bader <miles@gnu.org>
parents: 12896
diff changeset
13 /* arch-tag: e8ddf21d-72a0-476d-b33e-364f8b20e3b7
695cf19ef79e Add arch taglines
Miles Bader <miles@gnu.org>
parents: 12896
diff changeset
14 (do not change this comment) */