annotate lisp/gnus/next-ur.xpm @ 51336:c1252b2b2582

(latex-block-args-alist, latex-block-body-alist): New vars. (latex-insert-block): Use them. (tex-string-prefix-p): New fun. (tex-guess-main-file): Use it to detect when the main file is in a parent directory. (tex-main-file): Try to find a main-file in parent directories. (tex-compile-default): Don't use `gv' on pdf files just because `gv' was used recently on a ps file. Remove unused arg `dir'. Reuse a previous command as-is if it applied to the same file. (tex-compile): Use the right file name when file is not in dir.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Fri, 30 May 2003 18:52:46 +0000
parents 354a5b33d058
children 55fd4f77387a
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 */
34675
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
2 static char *magick[] = {
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
3 /* columns rows colors chars-per-pixel */
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
4 "24 24 36 1",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
5 " c Gray0",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
6 ". c Gray6",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
7 "X c Gray9",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
8 "o c Gray12",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
9 "O c #23f323f323f3",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
10 "+ c Gray15",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
11 "@ c #2ff32ff32ff3",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
12 "# c #399939993999",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
13 "$ c #3fff3fff3fff",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
14 "% c #433243324332",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
15 "& c Gray28",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
16 "* c #4ccc4ccc4ccc",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
17 "= c #53ed53ed53ed",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
18 "- c #5ff05ff05ff0",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
19 "; c Gray40",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
20 ": c #67e767e767e7",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
21 "> c #6ccc6ccc6ccc",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
22 ", c #6fff6fff6fff",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
23 "< c Gray45",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
24 "1 c #77f277f277f2",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
25 "2 c #7bdb7bdb7bdb",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
26 "3 c #7ccc7ccc7ccc",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
27 "4 c Gray50",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
28 "5 c #866586658665",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
29 "6 c Gray56",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
30 "7 c Gray60",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
31 "8 c #9bd39bd39bd3",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
32 "9 c #9fff9fff9fff",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
33 "0 c Gray65",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
34 "q c #a7c7a7c7a7c7",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
35 "w c Gray70",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
36 "e c Gray75",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
37 "r c Gray81",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
38 "t c #dfffdfffdfff",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
39 "y c #efffefffefff",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
40 "u c Gray100",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
41 /* pixels */
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
42 "wqewqewqewqewqewqewqewqe",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
43 "q6eq6eq6eq6eq6eq6eq6eq6e",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
44 "eeeeeeeeeeeeeeeeeeeeeeee",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
45 "wqewqewqewq82$.wqewqewqe",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
46 "q6eq6eq6e6@19u$-6eq6eq6e",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
47 "eeeeeeee==eyr$9@eeeeeeee",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
48 "wqewq82$ruuu or=qewqewqe",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
49 "q6e6@19uuuu94eue-eq6eq6e",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
50 "eeew&euuuuuruuuy18eeeeee",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
51 "wqew-8uuuuuuuuuu92wqewqe",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
52 "q6eq619uut44uuuuu$q6eq6e",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
53 "eeeeee29,-e@uuuuur=eeeee",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
54 "wqeee82$rye-$uuuuu=qewqe",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
55 "q6eq-19uu- e$uuuuue-eq6e",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
56 "ee==eyuuu -y99uuuuy18eee",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
57 "w&euuuuu,uuue4uuuuu92wqe",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
58 "q@euuuuuuuuut4tuuuueoq6e",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
59 "eq=u9$$$ruuuu4@$$r$;6eee",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
60 "wq=8,988%ruu8,98-+6qewqe",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
61 "q6e+wq888$et+wq888X6eq6e",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
62 "eee+88888.4-+88888@eeeee",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
63 "wqeO#6884,uu*5885<&qewqe",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
64 "q6eq@#**<uuut;**+&q6eq6e",
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
65 "eeeeqOeeyuuuuteee=eeeeee"
354a5b33d058 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 33308
diff changeset
66 };