annotate lisp/toolbar/search.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_search_xpm[] = {
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
3 "24 24 128 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 #ADAD9C",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
7 " @ c #959585",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
8 " # c #DCDCC5",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
9 " $ c #DFDFC8",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
10 " % c #242424",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
11 " & c #A7A796",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
12 " * c #D7D7C1",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
13 " = c #D9D9C3",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
14 " - c #DCDCC4",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
15 " ; c #DDDDC7",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
16 " > c #E1E1CA",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
17 " , c #A6A694",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
18 " ' c #D6D6BF",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
19 " ) c #D8D8C2",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
20 " ! c #DBDBC4",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
21 " ~ c #DFDFC7",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
22 " { c #E3E3CB",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
23 " ] c #B2B29F",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
24 " ^ c #7C7C7C",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
25 " / c #646464",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
26 " ( c #D5D5BD",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
27 " _ c #D5D5BF",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
28 " : c #D7D7C0",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
29 " < c #DADAC3",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
30 " [ c #DEDEC6",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
31 " } c #E1E1C9",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
32 " | c #E5E5CD",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
33 " 1 c #E9E9D1",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
34 " 2 c #343434",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
35 " 3 c #E7E7E7",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
36 " 4 c #373736",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
37 " 5 c #B8B8A6",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
38 " 6 c #D3D3BC",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
39 " 7 c #D9D9C2",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
40 " 8 c #DDDDC5",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
41 " 9 c #E0E0C8",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
42 " 0 c #E8E8D0",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
43 " a c #ECECD4",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
44 " b c #EEEED5",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
45 " c c #ECECEC",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
46 " d c #EDEDED",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
47 " e c #3D3D37",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
48 " f c #CECEB7",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
49 " g c #E6E6CE",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
50 " h c #EAEAD2",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
51 " i c #F1F1D8",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
52 " j c #A5A594",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
53 " k c #EEEEE5",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
54 " l c #3C3C3C",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
55 " m c #8F8F80",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
56 " n c #D0D0B9",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
57 " o c #B4B4A0",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
58 " p c #46463E",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
59 " q c #090908",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
60 " r c #4A4A42",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
61 " s c #C1C1AD",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
62 " t c #F2F2D9",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
63 " u c #F3F3DA",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
64 " v c #EEEEE6",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
65 " w c #505050",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
66 " x c #929282",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
67 " y c #D1D1B9",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
68 " z c #B0B09D",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
69 " A c #33332D",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
70 " B c #9D9D8D",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
71 " C c #CFCFB9",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
72 " D c #C4C4AF",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
73 " E c #8D8D7F",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
74 " F c #34342F",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
75 " G c #C3C3AF",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
76 " H c #F4F4DB",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
77 " I c #F5F5DC",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
78 " J c #969686",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
79 " K c #D2D2BC",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
80 " L c #45453E",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
81 " M c #9C9C8C",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
82 " N c #E2E2D0",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
83 " O c #EDEDE5",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
84 " P c #C0C0AC",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
85 " Q c #828274",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
86 " R c #4B4B43",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
87 " S c #BEBEAB",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
88 " T c #797973",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
89 " U c #D8D8C1",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
90 " V c #DDDDC6",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
91 " W c #080807",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
92 " X c #FBFBFA",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
93 " Y c #C3C3AE",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
94 " Z c #B5B5A2",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
95 " ` c #A6A695",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
96 ". c #959586",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
97 ".. c #98988F",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
98 ".+ c #080808",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
99 ".@ c #CACAB5",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
100 ".# c #DDDDD0",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
101 ".$ c #B7B7A4",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
102 ".% c #AAAA98",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
103 ".& c #9B9B8B",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
104 ".* c #8C8C7D",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
105 ".= c #818174",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
106 ".- c #E2E2CA",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
107 ".; c #46463F",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
108 ".> c #929283",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
109 "., c #BABAA7",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
110 ".' c #ADAD9B",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
111 ".) c #9F9F8E",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
112 ".! c #909081",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
113 ".~ c #727266",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
114 ".{ c #4B4B44",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
115 ".] c #BEBEAE",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
116 ".^ c #33332E",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
117 "./ c #878779",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
118 ".( c #A0A090",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
119 "._ c #737367",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
120 ".: c #4E4E4E",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
121 ".< c #BEBEAA",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
122 ".[ c #404040",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
123 ".} c #6F6F6F",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
124 ".| c #EBEBD3",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
125 ".1 c #EDEDD4",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
126 ".2 c #EFEFD6",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
127 ".3 c #F0F0D7",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
128 ".4 c #BBBBA8",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
129 ".5 c #CDCDB8",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
130 ".6 c #4D4D45",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
131 ".7 c #A6A696",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
132 " ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
133 " ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
134 " . ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
135 " . . + . ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
136 " . . @ # $ % ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
137 " . . & * = - ; > . ",
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 " . ^ / ' ( _ : < [ } | 1 2 ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
140 " . 3 4 5 6 * 7 8 9 | 0 a b . ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
141 " . c d e f _ ! 9 g 0 h b i j . ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
142 " . k k l m n o p q q r s t u . ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
143 " . v w x y z A B C D E F G H I . ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
144 " . . J K ! L M N O P ] Q R I I S . ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
145 " . T U 7 V W _ X Y Z `. q I I I ) . ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
146 " ... ! # $.+.@.#.$.%.&.* q I I I.= . ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
147 " . ~ 9.-.;.>.,.'.).!.~.{ I I . . ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
148 " ..] | |.,.^./.(.>._ . . < . ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
149 " .: 0 1 h.< r q q.[.} . . ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
150 " ..| a.1.2 i t t < . . . . ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
151 " ..2.3 i t 1 j . . . . ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
152 " ..4 t u.5.6 . . . . ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
153 " . u.7 . . . ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
154 " . . ",
f115e74e9dd1 New. (Gnome icon by tigert.)
Dave Love <fx@gnu.org>
parents:
diff changeset
155 " "};