Mercurial > emacs

annotate src/sink11mask.h @ 21114:3e8ab19bdccb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
1998-03-08 Carsten Dominik <cd@gnu.org> * (reftex-cursor-selected-face, reftex-mouse-selected-face, reftex-file-boundary-face, reftex-label-face, reftex-section-heading-face, reftex-toc-header-face, reftex-bib-author-face, reftex-bib-year-face, reftex-bib-title-face, reftex-bib-extra-face): New options. (reftex-toc, reftex-make-and-insert-label-list, reftex-format-bib-entry, reftex-section-info): Use fonts defined in the new options. (reftex-do-citation): Kill buffer *RefTeX Select* to avoid problems with lazy-lock.
author Carsten Dominik <dominik@science.uva.nl>
date Sun, 08 Mar 1998 11:40:12 +0000
parents 3165b2697c78
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
484
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
1 #define sink_mask_width 48
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
2 #define sink_mask_height 48
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
3 static char sink_mask_bits[] = {
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
4 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
5 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
6 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
7 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
8 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
9 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
10 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
11 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
12 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
13 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
14 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
15 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
16 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
17 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
18 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
19 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
20 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
21 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
22 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
23 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
24 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
25 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
26 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
27 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
28 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
29 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
30 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
31 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
32 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
33 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
34 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
35 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
36 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
37 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
38 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
39 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
40 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
41 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
42 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
43 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
44 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
45 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
46 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
47 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
48 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
49 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
50 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
51 0xff, 0xff, 0xff, 0xff, 0xff, 0xff};