annotate lisp/gnus/uu-post.xpm @ 33472:1de979dabe6f

(tex-font-lock-keywords-1): Use `keep' rather than `prepend' and add an interesting comment. (tex-math-face, tex-font-lock-syntactic-face-function): New face and function to use it. (tex-define-common-keys, tex-mode-map): Use menu-item rather than `menu-enable' symbol property. (tex-mode-map): Bind {, (, [ and $ to skeleton-pair-insert-maybe. (tex-mode): Add some latex-mode commands for auto-selection. Use tex-font-lock-syntactic-face-function. (tex-insert-quote): Simplify. (tex-shell): New mode. (tex-start-shell): Use it. (tex-shell-proc, tex-shell-buf): New functions. (tex-send-command): Use it. (tex-main-file): Fix the meaning of the new arg REALFILE. (tex-send-tex-command): New function split from `tex-start-tex'. Set compilation-last-buffer and compilation-parsing-end.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Tue, 14 Nov 2000 11:41:35 +0000
parents 3b044ee2f94a
children 354a5b33d058
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
33308
3b044ee2f94a Fernandez' icon renamed.
Dave Love <fx@gnu.org>
parents:
diff changeset
1 /* XPM */
3b044ee2f94a Fernandez' icon renamed.
Dave Love <fx@gnu.org>
parents:
diff changeset
2 static char * icon-post-pic_xpm[] = {
3b044ee2f94a Fernandez' icon renamed.
Dave Love <fx@gnu.org>
parents:
diff changeset
3 "32 32 4 1",
3b044ee2f94a Fernandez' icon renamed.
Dave Love <fx@gnu.org>
parents:
diff changeset
4 " c #000000000000",
3b044ee2f94a Fernandez' icon renamed.
Dave Love <fx@gnu.org>
parents:
diff changeset
5 ". c #BFBFBFBFBFBF s backgroundToolBarColor",
3b044ee2f94a Fernandez' icon renamed.
Dave Love <fx@gnu.org>
parents:
diff changeset
6 "X c #999999999999",
3b044ee2f94a Fernandez' icon renamed.
Dave Love <fx@gnu.org>
parents:
diff changeset
7 "o c #FFFFFFFFFFFF",
3b044ee2f94a Fernandez' icon renamed.
Dave Love <fx@gnu.org>
parents:
diff changeset
8 " ... ... ... ... ... ... ... ...",
3b044ee2f94a Fernandez' icon renamed.
Dave Love <fx@gnu.org>
parents:
diff changeset
9 "................................",
3b044ee2f94a Fernandez' icon renamed.
Dave Love <fx@gnu.org>
parents:
diff changeset
10 "................ ...............",
3b044ee2f94a Fernandez' icon renamed.
Dave Love <fx@gnu.org>
parents:
diff changeset
11 ".............. . .............",
3b044ee2f94a Fernandez' icon renamed.
Dave Love <fx@gnu.org>
parents:
diff changeset
12 " ... ... ... .. .. ... ... ...",
3b044ee2f94a Fernandez' icon renamed.
Dave Love <fx@gnu.org>
parents:
diff changeset
13 ".......... ......... .........",
3b044ee2f94a Fernandez' icon renamed.
Dave Love <fx@gnu.org>
parents:
diff changeset
14 "........ ............. .......",
3b044ee2f94a Fernandez' icon renamed.
Dave Love <fx@gnu.org>
parents:
diff changeset
15 "....... ......",
3b044ee2f94a Fernandez' icon renamed.
Dave Love <fx@gnu.org>
parents:
diff changeset
16 " ... .. XXXXXXXXXXXXXXXXX .. ...",
3b044ee2f94a Fernandez' icon renamed.
Dave Love <fx@gnu.org>
parents:
diff changeset
17 "....... XXXXXXXXXXXXXXXXX ......",
3b044ee2f94a Fernandez' icon renamed.
Dave Love <fx@gnu.org>
parents:
diff changeset
18 "....... XX XX ......",
3b044ee2f94a Fernandez' icon renamed.
Dave Love <fx@gnu.org>
parents:
diff changeset
19 "....... XX ooooooooooo XX ......",
3b044ee2f94a Fernandez' icon renamed.
Dave Love <fx@gnu.org>
parents:
diff changeset
20 " ... .. XX ooooooooooo XX .. ...",
3b044ee2f94a Fernandez' icon renamed.
Dave Love <fx@gnu.org>
parents:
diff changeset
21 "....... XX ooooooooooo XX ......",
3b044ee2f94a Fernandez' icon renamed.
Dave Love <fx@gnu.org>
parents:
diff changeset
22 "....... XX oooo oooooo XX ......",
3b044ee2f94a Fernandez' icon renamed.
Dave Love <fx@gnu.org>
parents:
diff changeset
23 "....... XX oo o o oo XX ......",
3b044ee2f94a Fernandez' icon renamed.
Dave Love <fx@gnu.org>
parents:
diff changeset
24 " ... .. XX o oo oo ooo XX .. ...",
3b044ee2f94a Fernandez' icon renamed.
Dave Love <fx@gnu.org>
parents:
diff changeset
25 "....... XX ooo ooooooo XX ......",
3b044ee2f94a Fernandez' icon renamed.
Dave Love <fx@gnu.org>
parents:
diff changeset
26 "....... XX oo oo ooooo XX ......",
3b044ee2f94a Fernandez' icon renamed.
Dave Love <fx@gnu.org>
parents:
diff changeset
27 "....... XX oo ooooo XX ......",
3b044ee2f94a Fernandez' icon renamed.
Dave Love <fx@gnu.org>
parents:
diff changeset
28 " ... .. XX oooooo oooo XX .. ...",
3b044ee2f94a Fernandez' icon renamed.
Dave Love <fx@gnu.org>
parents:
diff changeset
29 "....... XX ooooooo ooo XX ......",
3b044ee2f94a Fernandez' icon renamed.
Dave Love <fx@gnu.org>
parents:
diff changeset
30 "....... XX ooooooooooo XX ......",
3b044ee2f94a Fernandez' icon renamed.
Dave Love <fx@gnu.org>
parents:
diff changeset
31 "....... XX ooooooooooo XX ......",
3b044ee2f94a Fernandez' icon renamed.
Dave Love <fx@gnu.org>
parents:
diff changeset
32 " ... .. XX ooooooooooo XX .. ...",
3b044ee2f94a Fernandez' icon renamed.
Dave Love <fx@gnu.org>
parents:
diff changeset
33 "....... XX ooooooooooo XX ......",
3b044ee2f94a Fernandez' icon renamed.
Dave Love <fx@gnu.org>
parents:
diff changeset
34 "....... XX XX ......",
3b044ee2f94a Fernandez' icon renamed.
Dave Love <fx@gnu.org>
parents:
diff changeset
35 "....... XXXXXXXXXXXXXXXXX ......",
3b044ee2f94a Fernandez' icon renamed.
Dave Love <fx@gnu.org>
parents:
diff changeset
36 " ... .. XXXXXXXXXXXXXXXXX .. ...",
3b044ee2f94a Fernandez' icon renamed.
Dave Love <fx@gnu.org>
parents:
diff changeset
37 "....... ......",
3b044ee2f94a Fernandez' icon renamed.
Dave Love <fx@gnu.org>
parents:
diff changeset
38 "................................",
3b044ee2f94a Fernandez' icon renamed.
Dave Love <fx@gnu.org>
parents:
diff changeset
39 "................................"};