annotate lisp/sb-pg-minus.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 13b33ab9d0b5
children c2a09ac7b7b1
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
29133
13b33ab9d0b5 Renamed sb-file-.xpm to sb-pg-minus.xpm
Eric M. Ludlam <zappo@gnu.org>
parents:
diff changeset
1 /* XPM */
13b33ab9d0b5 Renamed sb-file-.xpm to sb-pg-minus.xpm
Eric M. Ludlam <zappo@gnu.org>
parents:
diff changeset
2 static char * sb_file__xpm[] = {
13b33ab9d0b5 Renamed sb-file-.xpm to sb-pg-minus.xpm
Eric M. Ludlam <zappo@gnu.org>
parents:
diff changeset
3 "20 15 4 1",
13b33ab9d0b5 Renamed sb-file-.xpm to sb-pg-minus.xpm
Eric M. Ludlam <zappo@gnu.org>
parents:
diff changeset
4 " c None",
13b33ab9d0b5 Renamed sb-file-.xpm to sb-pg-minus.xpm
Eric M. Ludlam <zappo@gnu.org>
parents:
diff changeset
5 ". c #828282",
13b33ab9d0b5 Renamed sb-file-.xpm to sb-pg-minus.xpm
Eric M. Ludlam <zappo@gnu.org>
parents:
diff changeset
6 "+ c #000000",
13b33ab9d0b5 Renamed sb-file-.xpm to sb-pg-minus.xpm
Eric M. Ludlam <zappo@gnu.org>
parents:
diff changeset
7 "@ c #FFFFFF",
13b33ab9d0b5 Renamed sb-file-.xpm to sb-pg-minus.xpm
Eric M. Ludlam <zappo@gnu.org>
parents:
diff changeset
8 " ............ ",
13b33ab9d0b5 Renamed sb-file-.xpm to sb-pg-minus.xpm
Eric M. Ludlam <zappo@gnu.org>
parents:
diff changeset
9 " .++++++++++++.",
13b33ab9d0b5 Renamed sb-file-.xpm to sb-pg-minus.xpm
Eric M. Ludlam <zappo@gnu.org>
parents:
diff changeset
10 " .++@@@@@@@@@@+.",
13b33ab9d0b5 Renamed sb-file-.xpm to sb-pg-minus.xpm
Eric M. Ludlam <zappo@gnu.org>
parents:
diff changeset
11 " .+@+@@@@@@@@@@+.",
13b33ab9d0b5 Renamed sb-file-.xpm to sb-pg-minus.xpm
Eric M. Ludlam <zappo@gnu.org>
parents:
diff changeset
12 " .+@@+@@@@@@@@@@+.",
13b33ab9d0b5 Renamed sb-file-.xpm to sb-pg-minus.xpm
Eric M. Ludlam <zappo@gnu.org>
parents:
diff changeset
13 " .+@@@+@@@@@@@@@@+.",
13b33ab9d0b5 Renamed sb-file-.xpm to sb-pg-minus.xpm
Eric M. Ludlam <zappo@gnu.org>
parents:
diff changeset
14 " .+@@@@+@@@@@@@@@@+.",
13b33ab9d0b5 Renamed sb-file-.xpm to sb-pg-minus.xpm
Eric M. Ludlam <zappo@gnu.org>
parents:
diff changeset
15 ".+++++++@++++++@@@+.",
13b33ab9d0b5 Renamed sb-file-.xpm to sb-pg-minus.xpm
Eric M. Ludlam <zappo@gnu.org>
parents:
diff changeset
16 ".+@@@@@@@++++++@@@+.",
13b33ab9d0b5 Renamed sb-file-.xpm to sb-pg-minus.xpm
Eric M. Ludlam <zappo@gnu.org>
parents:
diff changeset
17 ".+@@@@@@@@@@@@@@@@+.",
13b33ab9d0b5 Renamed sb-file-.xpm to sb-pg-minus.xpm
Eric M. Ludlam <zappo@gnu.org>
parents:
diff changeset
18 ".+@@@@@@@@@@@@@@@@+.",
13b33ab9d0b5 Renamed sb-file-.xpm to sb-pg-minus.xpm
Eric M. Ludlam <zappo@gnu.org>
parents:
diff changeset
19 ".+@@@@@@@@@@@@@@@@+.",
13b33ab9d0b5 Renamed sb-file-.xpm to sb-pg-minus.xpm
Eric M. Ludlam <zappo@gnu.org>
parents:
diff changeset
20 ".+@@@@@@@@@@@@@@@@+.",
13b33ab9d0b5 Renamed sb-file-.xpm to sb-pg-minus.xpm
Eric M. Ludlam <zappo@gnu.org>
parents:
diff changeset
21 ".++++++++++++++++++.",
13b33ab9d0b5 Renamed sb-file-.xpm to sb-pg-minus.xpm
Eric M. Ludlam <zappo@gnu.org>
parents:
diff changeset
22 " .................. "};