Mercurial > emacs

annotate src/sink11mask.h @ 33789:3cb3c23bbe84

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
(tex-font-lock-keywords-1): Fix ARG regexp to skip quoted braces. (tex-font-lock-keywords-2): Fix ARG regexp to skip quoted braces. Remove `bf' and `it' from `bold' and `italic' (they were wrong and are (correctly) handled separately). Remove `caption' and `footnote' from `citations': they contain text. Don't highlight `textmd', `texttt' and `textrm' with bold-italic. (latex-skeleton-end-hook): New function. (latex-mode): Use it. (tex-start-tex-marker): Remove. (tex-send-tex-command): Don't set tex-start-tex-marker. (tex-error-parse-syntax-table): New var. (tex-compilation-parse-errors): Use it. Ignore tex-start-tex-marker. Don't bother with marker-position. (tex-validate-buffer): Don't bother with marker-position.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Wed, 22 Nov 2000 21:36:44 +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};