annotate lisp/sb-dir-minus.xpm @ 46324:d992f5698971

(compilation-normalize-filename): New subroutine, taken out of compilation-parse-errors. (compilation-parse-errors): Use that, and for directories too. Don't check whether a directory really exists.
author Richard M. Stallman <rms@gnu.org>
date Fri, 12 Jul 2002 17:39:45 +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 " .................. "};