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