annotate lisp/toolbar/mail.xpm @ 31968:dc896c1b6a26

(latex-imenu-indent-string): Add a space. (latex-outline-regexp): New var. (latex-outline-level): New fun. (latex-section-alist): New var. (latex-imenu-create-index): Use it. Use `push' as well. (tex-shell-map): Initialize it properly. (tex-mode): Minor stylistic change. (plain-tex-mode): Use define-derived-mode. (latex-mode): Use define-derived-mode. Construct the paragraph regexps in a more readable way. Set the buffer-local outline-{level,regexp} vars. (slitex-mode): Derive from latex-mode. (tex-common-initialization): Don't kill-all-vars anymore. Add setting for comment-add and font-lock-defaults. (tex-start-shell): Use with-current-buffer and don't re-init keymap. (tex-main-file): New fun. Obey TeX-master as well and remove `.tex'. (tex-start-tex): New arg DIR (and send a chdir command for it). Also display the shell buffer and save it in tex-last-buffer-texed. (tex-region): Use expand-file-name rather than concat. Remove code made useless by changes in tex-start-tex. (tex-file): Use tex-main-file and adapt to new tex-start-tex.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Fri, 29 Sep 2000 01:45:46 +0000
parents f115e74e9dd1
children 03a8b6779868
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
31591
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
1 /* XPM */
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
2 static char * tb_mail_xpm[] = {
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
3 "24 24 116 2",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
4 " c None",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
5 ". c #000000",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
6 "+ c #7B7B78",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
7 "@ c #C7C7C3",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
8 "# c #F1F0EB",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
9 "$ c #BFBFBC",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
10 "% c #5F5E5E",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
11 "& c #E3E3DF",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
12 "* c #F3F3EF",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
13 "= c #F2F2EE",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
14 "- c #F1F1EC",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
15 "; c #F0EFEB",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
16 "> c #D2D2CD",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
17 ", c #969592",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
18 "' c #616060",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
19 ") c #B5B5B4",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
20 "! c #F8F8F6",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
21 "~ c #F7F7F5",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
22 "{ c #F6F6F3",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
23 "] c #F5F5F2",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
24 "^ c #F4F4F0",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
25 "/ c #F2F1ED",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
26 "( c #F1F0EC",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
27 "_ c #F0EFEA",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
28 ": c #EFEEE9",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
29 "< c #4F4F4D",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
30 "[ c #BDBCB8",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
31 "} c #A7A6A3",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
32 "| c #C6C6C4",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
33 "1 c #7C7C7B",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
34 "2 c #525251",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
35 "3 c #DBDBD9",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
36 "4 c #F5F4F1",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
37 "5 c #F4F3F0",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
38 "6 c #F3F2EE",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
39 "7 c #999894",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
40 "8 c #62625F",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
41 "9 c #BCBCB6",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
42 "0 c #EBE9E3",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
43 "a c #838381",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
44 "b c #D7D6D4",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
45 "c c #A8A8A6",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
46 "d c #515150",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
47 "e c #7E7D7C",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
48 "f c #DAD9D5",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
49 "g c #EFEEE8",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
50 "h c #EEEDE7",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
51 "i c #4F4E4C",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
52 "j c #BCBBB6",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
53 "k c #EBE9E2",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
54 "l c #EAE8E1",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
55 "m c #F6F5F2",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
56 "n c #F4F3EF",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
57 "o c #B5B4B1",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
58 "p c #9B9A97",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
59 "q c #646361",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
60 "r c #92918E",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
61 "s c #EEEDE8",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
62 "t c #EDECE6",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
63 "u c #4E4E4C",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
64 "v c #797976",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
65 "w c #797874",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
66 "x c #E9E8E1",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
67 "y c #E8E7DF",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
68 "z c #B4B3AF",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
69 "A c #D0D0CD",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
70 "B c #F2F2ED",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
71 "C c #BFBEBA",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
72 "D c #BEBDB9",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
73 "E c #7A7A77",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
74 "F c #979691",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
75 "G c #EAE9E2",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
76 "H c #959590",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
77 "I c #787773",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
78 "J c #B8B7B0",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
79 "K c #E6E4DC",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
80 "L c #A9A9A6",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
81 "M c #626260",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
82 "N c #ECEBE4",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
83 "O c #EBEAE3",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
84 "P c #E9E7E0",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
85 "Q c #E8E6DF",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
86 "R c #E7E5DD",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
87 "S c #777671",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
88 "T c #93918C",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
89 "U c #BEBDB8",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
90 "V c #989793",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
91 "W c #ECEAE4",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
92 "X c #E8E6DE",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
93 "Y c #E6E4DB",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
94 "Z c #E4E3DA",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
95 "` c #75746F",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
96 " . c #91908A",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
97 ".. c #EEECE7",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
98 "+. c #62615F",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
99 "@. c #EBEAE4",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
100 "#. c #E7E6DE",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
101 "$. c #E6E5DC",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
102 "%. c #E5E4DB",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
103 "&. c #E4E2DA",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
104 "*. c #CCCBC4",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
105 "=. c #A3A29D",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
106 "-. c #B6B5B2",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
107 ";. c #BCBCB7",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
108 ">. c #CDCCC6",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
109 ",. c #959490",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
110 "'. c #ECEBE5",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
111 "). c #61615E",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
112 "!. c #E9E8E0",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
113 "~. c #CECDC7",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
114 "{. c #797875",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
115 "]. c #969590",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
116 "^. c #CFCEC8",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
117 "/. c #AEADA8",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
118 "(. c #585754",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
119 "_. c #7B7A76",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
120 " ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
121 " ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
122 " ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
123 " ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
124 " ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
125 " . . . . ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
126 " . . . . . + @ # $ . ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
127 " . . . . . % $ & * = - ; > , . ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
128 " . ' ) ! ~ { ] ^ * / ( _ : < [ } . ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
129 " . | 1 2 3 4 5 6 / # _ : 7 8 9 0 . ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
130 " . a b c d e f / # _ g h i j k l . ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
131 " . m 4 n o p q r s t u v w x y z . ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
132 " . A * B ( ; C D E u F G H I J K . ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
133 " . L / ( _ : M t N O l P Q R S T . ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
134 " . # _ g U V W 0 l P X R Y Z ` .. ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
135 " . ; g ..+.@.G x y #.$.%.&.*.=.. . ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
136 " . -.t ;.F G x y #.K >.,.. . . ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
137 " . '.).G !.Q ~.H . . . ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
138 " . {.].^./.. . . ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
139 " . (._.. . ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
140 " . . ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
141 " ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
142 " ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
143 " "};