1 <?xml version="1.0" encoding="utf-8"?>
2 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN"
3 "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
4 <html xmlns="http://www.w3.org/1999/xhtml">
7 <style type="text/css"><!--
8 body { font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; color: rgb(0, 0, 0); font-size: 10pt; text-decoration: none; }
10 <style type="text/css"><!--
11 body { font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; color: rgb(0, 0, 0); font-size: 10pt; text-decoration: none; }
12 span.default { font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; color: rgb(0, 0, 0); font-size: 10pt; text-decoration: none; }
13 span.default a { font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; color: rgb(0, 0, 0); font-size: 10pt; text-decoration: underline; }
14 span.comment-face-1419 { color: rgb(178, 34, 34); font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; font-size: 10pt; text-decoration: none; }
15 span.comment-face-1419 a { color: rgb(178, 34, 34); font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; font-size: 10pt; text-decoration: underline; }
16 span.comment-delimiter-face-1418 { color: rgb(178, 34, 34); font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; font-size: 10pt; text-decoration: none; }
17 span.comment-delimiter-face-1418 a { color: rgb(178, 34, 34); font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; font-size: 10pt; text-decoration: underline; }
18 --></style><style type="text/css"><!--
19 body { font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; color: rgb(0, 0, 0); font-size: 10pt; text-decoration: none; }
20 span.default { font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; color: rgb(0, 0, 0); font-size: 10pt; text-decoration: none; }
21 span.default a { font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; color: rgb(0, 0, 0); font-size: 10pt; text-decoration: underline; }
22 span.help-argument-name-1420 { color: rgb(0, 0, 255); font-style: italic; font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-size: 10pt; text-decoration: none; }
23 span.help-argument-name-1420 a { color: rgb(0, 0, 255); font-style: italic; font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-size: 10pt; text-decoration: underline; }
24 span.button-0004 { text-decoration: underline; font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; color: rgb(0, 0, 0); font-size: 10pt; }
25 span.button-0004 a { text-decoration: underline; font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; color: rgb(0, 0, 0); font-size: 10pt; }
26 --></style><style type="text/css"><!--
27 body { font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; color: rgb(0, 0, 0); font-size: 10pt; text-decoration: none; }
28 span.default { font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; color: rgb(0, 0, 0); font-size: 10pt; text-decoration: none; }
29 span.default a { font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; color: rgb(0, 0, 0); font-size: 10pt; text-decoration: underline; }
30 span.completion-tooltip-face-1437 { color: rgb(0, 0, 0); background: rgb(255, 255, 255); font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; font-size: 10pt; text-decoration: none; }
31 span.completion-tooltip-face-1437 a { color: rgb(0, 0, 0); background: rgb(255, 255, 255); font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; font-size: 10pt; text-decoration: underline; }
32 span.completion-dynamic-face-1436 { color: rgb(0, 0, 0); background: rgb(255, 165, 0); font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; font-size: 10pt; text-decoration: none; }
33 span.completion-dynamic-face-1436 a { color: rgb(0, 0, 0); background: rgb(255, 165, 0); font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; font-size: 10pt; text-decoration: underline; }
34 span.compilation-warning-1435 { color: rgb(255, 165, 0); font-weight: 700; font-family: outline-courier new; font-stretch: normal; font-style: normal; font-size: 10pt; text-decoration: none; }
35 span.compilation-warning-1435 a { color: rgb(255, 165, 0); font-weight: 700; font-family: outline-courier new; font-stretch: normal; font-style: normal; font-size: 10pt; text-decoration: underline; }
36 span.compilation-line-number-1434 { color: rgb(184, 134, 11); font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; font-size: 10pt; text-decoration: none; }
37 span.compilation-line-number-1434 a { color: rgb(184, 134, 11); font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; font-size: 10pt; text-decoration: underline; }
38 span.compilation-info-1433 { color: rgb(0, 205, 0); font-weight: 700; font-family: outline-courier new; font-stretch: normal; font-style: normal; font-size: 10pt; text-decoration: none; }
39 span.compilation-info-1433 a { color: rgb(0, 205, 0); font-weight: 700; font-family: outline-courier new; font-stretch: normal; font-style: normal; font-size: 10pt; text-decoration: underline; }
40 span.compilation-error-1430 { color: rgb(255, 0, 0); font-weight: 700; font-family: outline-courier new; font-stretch: normal; font-style: normal; font-size: 10pt; text-decoration: none; }
41 span.compilation-error-1430 a { color: rgb(255, 0, 0); font-weight: 700; font-family: outline-courier new; font-stretch: normal; font-style: normal; font-size: 10pt; text-decoration: underline; }
42 span.compilation-column-number-1429 { color: rgb(34, 139, 34); font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; font-size: 10pt; text-decoration: none; }
43 span.compilation-column-number-1429 a { color: rgb(34, 139, 34); font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; font-size: 10pt; text-decoration: underline; }
44 span.comint-highlight-prompt-1428 { color: rgb(0, 0, 139); font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; font-size: 10pt; text-decoration: none; }
45 span.comint-highlight-prompt-1428 a { color: rgb(0, 0, 139); font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; font-size: 10pt; text-decoration: underline; }
46 span.button-0004 { text-decoration: underline; font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; color: rgb(0, 0, 0); font-size: 10pt; }
47 span.button-0004 a { text-decoration: underline; font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; color: rgb(0, 0, 0); font-size: 10pt; }
48 --></style><style type="text/css"><!--
49 body { font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; color: rgb(0, 0, 0); font-size: 10pt; text-decoration: none; }
50 span.default { font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; color: rgb(0, 0, 0); font-size: 10pt; text-decoration: none; }
51 span.default a { font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; color: rgb(0, 0, 0); font-size: 10pt; text-decoration: underline; }
52 span.default-0273 { color: rgb(250, 235, 215); font-size: 105%; text-decoration: none; }
53 span.default-0273 a { color: rgb(250, 235, 215); font-size: 105%; text-decoration: underline; }
54 span.default-0272 { background: rgb(250, 235, 215); font-size: 105%; text-decoration: none; }
55 span.default-0272 a { background: rgb(250, 235, 215); font-size: 105%; text-decoration: underline; }
56 span.default-0271 { color: rgb(250, 240, 230); font-size: 105%; text-decoration: none; }
57 span.default-0271 a { color: rgb(250, 240, 230); font-size: 105%; text-decoration: underline; }
58 span.default-0270 { background: rgb(250, 240, 230); font-size: 105%; text-decoration: none; }
59 span.default-0270 a { background: rgb(250, 240, 230); font-size: 105%; text-decoration: underline; }
60 span.default-0269 { color: rgb(253, 245, 230); font-size: 105%; text-decoration: none; }
61 span.default-0269 a { color: rgb(253, 245, 230); font-size: 105%; text-decoration: underline; }
62 span.default-0268 { background: rgb(253, 245, 230); font-size: 105%; text-decoration: none; }
63 span.default-0268 a { background: rgb(253, 245, 230); font-size: 105%; text-decoration: underline; }
64 span.default-0267 { color: rgb(255, 250, 240); font-size: 105%; text-decoration: none; }
65 span.default-0267 a { color: rgb(255, 250, 240); font-size: 105%; text-decoration: underline; }
66 span.default-0266 { background: rgb(255, 250, 240); font-size: 105%; text-decoration: none; }
67 span.default-0266 a { background: rgb(255, 250, 240); font-size: 105%; text-decoration: underline; }
68 span.default-0265 { color: rgb(220, 220, 220); font-size: 105%; text-decoration: none; }
69 span.default-0265 a { color: rgb(220, 220, 220); font-size: 105%; text-decoration: underline; }
70 span.default-0264 { background: rgb(220, 220, 220); font-size: 105%; text-decoration: none; }
71 span.default-0264 a { background: rgb(220, 220, 220); font-size: 105%; text-decoration: underline; }
72 span.default-0263 { color: rgb(245, 245, 245); font-size: 105%; text-decoration: none; }
73 span.default-0263 a { color: rgb(245, 245, 245); font-size: 105%; text-decoration: underline; }
74 span.default-0262 { background: rgb(245, 245, 245); font-size: 105%; text-decoration: none; }
75 span.default-0262 a { background: rgb(245, 245, 245); font-size: 105%; text-decoration: underline; }
76 span.default-0261 { color: rgb(248, 248, 255); font-size: 105%; text-decoration: none; }
77 span.default-0261 a { color: rgb(248, 248, 255); font-size: 105%; text-decoration: underline; }
78 span.default-0260 { background: rgb(248, 248, 255); font-size: 105%; text-decoration: none; }
79 span.default-0260 a { background: rgb(248, 248, 255); font-size: 105%; text-decoration: underline; }
80 span.default-0259 { color: rgb(255, 250, 250); font-size: 105%; text-decoration: none; }
81 span.default-0259 a { color: rgb(255, 250, 250); font-size: 105%; text-decoration: underline; }
82 span.default-0258 { background: rgb(255, 250, 250); font-size: 105%; text-decoration: none; }
83 span.default-0258 a { background: rgb(255, 250, 250); font-size: 105%; text-decoration: underline; }
84 --></style><style type="text/css"><!--
85 body { font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; color: rgb(0, 0, 0); font-size: 10pt; text-decoration: none; }
86 span.default { font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; color: rgb(0, 0, 0); font-size: 10pt; text-decoration: none; }
87 span.default a { font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; color: rgb(0, 0, 0); font-size: 10pt; text-decoration: underline; }
88 span.default-1432 { text-decoration: underline; color: rgb(176, 48, 96); font-weight: 700; font-size: 164%; }
89 span.default-1432 a { text-decoration: underline; color: rgb(176, 48, 96); font-weight: 700; font-size: 164%; }
90 span.default-1431 { color: rgb(176, 48, 96); font-weight: 700; font-size: 164%; text-decoration: none; }
91 span.default-1431 a { color: rgb(176, 48, 96); font-weight: 700; font-size: 164%; text-decoration: underline; }
92 --></style><style type="text/css"><!--
93 body { font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; color: rgb(0, 0, 0); font-size: 10pt; text-decoration: none; }
94 span.default { font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; color: rgb(0, 0, 0); font-size: 10pt; text-decoration: none; }
95 span.default a { font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; color: rgb(0, 0, 0); font-size: 10pt; text-decoration: underline; }
96 span.custom-button-0022 { border-width: 1px; border-style: outset; color: rgb(0, 0, 0); background: rgb(211, 211, 211); font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; font-size: 10pt; text-decoration: none; }
97 span.custom-button-0022 a { border-width: 1px; border-style: outset; color: rgb(0, 0, 0); background: rgb(211, 211, 211); font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; font-size: 10pt; text-decoration: underline; }
98 span.bold-0248 { background: rgb(173, 255, 47); font-weight: 700; font-family: outline-courier new; font-stretch: normal; font-style: normal; color: rgb(0, 0, 0); font-size: 10pt; text-decoration: none; }
99 span.bold-0248 a { background: rgb(173, 255, 47); font-weight: 700; font-family: outline-courier new; font-stretch: normal; font-style: normal; color: rgb(0, 0, 0); font-size: 10pt; text-decoration: underline; }
100 --></style><style type="text/css"><!--
101 body { font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; color: rgb(0, 0, 0); font-size: 10pt; text-decoration: none; }
102 span.default { font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; color: rgb(0, 0, 0); font-size: 10pt; text-decoration: none; }
103 span.default a { font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; color: rgb(0, 0, 0); font-size: 10pt; text-decoration: underline; }
104 span.match-1438 { background: rgb(255, 255, 0); font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; color: rgb(0, 0, 0); font-size: 10pt; text-decoration: none; }
105 span.match-1438 a { background: rgb(255, 255, 0); font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; color: rgb(0, 0, 0); font-size: 10pt; text-decoration: underline; }
106 span.underline-1413 { color: rgb(184, 134, 11); font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; text-decoration: underline; font-size: 10pt; }
107 span.underline-1413 a { color: rgb(184, 134, 11); font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; text-decoration: underline; font-size: 10pt; }
108 span.underline-0219 { text-decoration: underline; font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; color: rgb(0, 0, 0); font-size: 10pt; }
109 span.underline-0219 a { text-decoration: underline; font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; color: rgb(0, 0, 0); font-size: 10pt; }
110 span.underline-1412 { color: rgb(0, 205, 0); font-weight: 700; font-family: outline-courier new; font-stretch: normal; font-style: normal; text-decoration: underline; font-size: 10pt; }
111 span.underline-1412 a { color: rgb(0, 205, 0); font-weight: 700; font-family: outline-courier new; font-stretch: normal; font-style: normal; text-decoration: underline; font-size: 10pt; }
112 --></style><style type="text/css"><!--
113 body { font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; color: rgb(0, 0, 0); font-size: 10pt; text-decoration: none; }
114 span.default { font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; color: rgb(0, 0, 0); font-size: 10pt; text-decoration: none; }
115 span.default a { font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; color: rgb(0, 0, 0); font-size: 10pt; text-decoration: underline; }
116 span.comment-face-1419 { color: rgb(178, 34, 34); font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; font-size: 10pt; text-decoration: none; }
117 span.comment-face-1419 a { color: rgb(178, 34, 34); font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; font-size: 10pt; text-decoration: underline; }
118 span.comment-delimiter-face-1418 { color: rgb(178, 34, 34); font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; font-size: 10pt; text-decoration: none; }
119 span.comment-delimiter-face-1418 a { color: rgb(178, 34, 34); font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; font-size: 10pt; text-decoration: underline; }
120 span.string-face-1441 { color: rgb(188, 143, 143); font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; font-size: 10pt; text-decoration: none; }
121 span.string-face-1441 a { color: rgb(188, 143, 143); font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; font-size: 10pt; text-decoration: underline; }
122 span.match-1438 { background: rgb(255, 255, 0); font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; color: rgb(0, 0, 0); font-size: 10pt; text-decoration: none; }
123 span.match-1438 a { background: rgb(255, 255, 0); font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; color: rgb(0, 0, 0); font-size: 10pt; text-decoration: underline; }
124 span.keyword-face-1440 { color: rgb(160, 32, 240); font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; font-size: 10pt; text-decoration: none; }
125 span.keyword-face-1440 a { color: rgb(160, 32, 240); font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; font-size: 10pt; text-decoration: underline; }
126 span.underline-1439 { text-decoration: underline; font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; color: rgb(0, 0, 0); font-size: 10pt; }
127 span.underline-1439 a { text-decoration: underline; font-family: outline-courier new; font-stretch: normal; font-weight: 500; font-style: normal; color: rgb(0, 0, 0); font-size: 10pt; }
130 <body style="background: #000000; color: #ff9900; padding:2em; margin:4em; margin-top:2em;">
132 <h1>Example of htmlfontify.el output</h1>
134 <p style="font-size: 1.3em; width: 35em;">
135 The following is an example of the output you can get with htmlfontify.el.
136 The version used here is shipped with <a href="nxhtml.html" style="color: #ffbb33; ">nXhtml</a>.
137 (A new version from the original author is on its way.)
140 <table border="0" cellpadding="0" cellspacing="0" style="border: solid rgb(0, 84, 227); width:44.800000000000004em; background:white;">
142 <td style="background-color:rgb(0, 84, 227); color:rgb(255, 255, 255);border: none; padding:4px; vertical-align: middle;"><img alt="Emacs Icon (patched)" src="img/emacsP16.png" width="16" height="16" /> Emacs - Frame Dump</td>
145 <td style="vertical-align:top;"><table border="0" cellpadding="0" cellspacing="0">
147 <td style="vertical-align:top;"><table border="0" cellpadding="0" cellspacing="0">
148 <tr><td style="vertical-align:top;"><div style="width:22.514999999999997em; height:15.079999999999998em; border: 1px solid rgb(212, 208, 200); overflow:auto; padding:4px;">
150 <pre><span class="comment-delimiter-face-1418">;; </span><span class="comment-face-1419">This buffer is for notes you don't want to save, and for Lisp evaluation.
151 </span><span class="comment-delimiter-face-1418">;; </span><span class="comment-face-1419">If you want to create a file, visit that file with C-x C-f,
152 </span><span class="comment-delimiter-face-1418">;; </span><span class="comment-face-1419">then enter the text in that file's own buffer.
157 <div style="width:22.515em; color:rgb(51, 51, 51); background:rgb(229, 229, 229); white-space:pre; overflow:hidden; font-family:monospace;">-- (Unix)-- <b>*scratch*</b> (Lisp Interaction Abbrev hs) --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------</div></td>
158 <td style="vertical-align:top;"><div style="width:23.084999999999997em; height:15.079999999999998em; border: 1px solid rgb(212, 208, 200); overflow:auto; padding:4px;">
161 <script type="text/javascript">
164 function getObj(name) {
165 if (document.getElementById) {
166 this.obj = document.getElementById(name);
167 this.style = document.getElementById(name).style;
170 function hfy_toggle_display(name) {
171 var x = new getObj("hfy_invis_" + name);
172 var flag = x.style.display == 'inline';
173 x.style.display = (flag) ? 'none' : 'inline'
179 <pre>cadr is a compiled Lisp function in `<span class="button-0004">subr.el</span>'.
180 (cadr <span class="help-argument-name-1420">x</span>)
182 Return the car of the cdr of <span class="help-argument-name-1420">x</span>.
184 <span class="button-0004">[back]</span>
188 <div style="width:23.085em; color:rgb(51, 51, 51); background:rgb(229, 229, 229); white-space:pre; overflow:hidden; font-family:monospace;">-- (Unix)%% <b>*Help*</b> (Help View Abbrev) --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------</div></td>
194 <td style="vertical-align:top;"><table border="0" cellpadding="0" cellspacing="0">
195 <tr><td style="vertical-align:top;"><div style="width:22.514999999999997em; height:12.76em; border: 1px solid rgb(212, 208, 200); overflow:auto; padding:4px;">
198 <script type="text/javascript">
201 function getObj(name) {
202 if (document.getElementById) {
203 this.obj = document.getElementById(name);
204 this.style = document.getElementById(name).style;
207 function hfy_toggle_display(name) {
208 var x = new getObj("hfy_invis_" + name);
209 var flag = x.style.display == 'inline';
210 x.style.display = (flag) ? 'none' : 'inline'
216 <pre><span class="button-0004">comint-highlight-prompt</span> <span class="comint-highlight-prompt-1428">abcdefghijklmnopqrstuvwxyz ABCDEFGHIJKLMNOPQRSTUVWXYZ</span>
217 <span class="button-0004">compilation-column-number</span> <span class="compilation-column-number-1429">abcdefghijklmnopqrstuvwxyz ABCDEFGHIJKLMNOPQRSTUVWXYZ</span>
218 <span class="button-0004">compilation-error</span> <span class="compilation-error-1430">abcdefghijklmnopqrstuvwxyz ABCDEFGHIJKLMNOPQRSTUVWXYZ</span>
219 <span class="button-0004">compilation-info</span> <span class="compilation-info-1433">abcdefghijklmnopqrstuvwxyz ABCDEFGHIJKLMNOPQRSTUVWXYZ</span>
220 <span class="button-0004">compilation-line-number</span> <span class="compilation-line-number-1434">abcdefghijklmnopqrstuvwxyz ABCDEFGHIJKLMNOPQRSTUVWXYZ</span>
221 <span class="button-0004">compilation-warning</span> <span class="compilation-warning-1435">abcdefghijklmnopqrstuvwxyz ABCDEFGHIJKLMNOPQRSTUVWXYZ</span>
222 <span class="button-0004">completion-dynamic-face</span> <span class="completion-dynamic-face-1436">abcdefghijklmnopqrstuvwxyz ABCDEFGHIJKLMNOPQRSTUVWXYZ</span>
223 <span class="button-0004">completion-tooltip-face</span> <span class="completion-tooltip-face-1437">abcdefghijklmnopqrstuvwxyz ABCDEFGHIJKLMNOPQRSTUVWXYZ</span>
227 <div style="margin-top:2em; color: red; text-align: center; "> Truncated to line 11 - 19! </div>
229 <div style="width:22.515em; color:rgb(0, 0, 0); background:rgb(191, 191, 191); white-space:pre; overflow:hidden; font-family:monospace;">-- (Unix)%% <b>*Faces*</b> (Help View Abbrev) --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------</div></td>
230 <td style="vertical-align:top;"><div style="width:23.084999999999997em; height:12.76em; border: 1px solid rgb(212, 208, 200); overflow:auto; padding:4px;">
233 <script type="text/javascript">
236 function getObj(name) {
237 if (document.getElementById) {
238 this.obj = document.getElementById(name);
239 this.style = document.getElementById(name).style;
242 function hfy_toggle_display(name) {
243 var x = new getObj("hfy_invis_" + name);
244 var flag = x.style.display == 'inline';
245 x.style.display = (flag) ? 'none' : 'inline'
251 <pre><span class="default-0258">snow </span><span class="default-0259"> snow </span>#fffafa
252 <span class="default-0260">ghost white </span><span class="default-0261"> GhostWhite </span>#f8f8ff
253 <span class="default-0262">white smoke </span><span class="default-0263"> WhiteSmoke </span>#f5f5f5
254 <span class="default-0264">gainsboro </span><span class="default-0265"> gainsboro </span>#dcdcdc
255 <span class="default-0266">floral white </span><span class="default-0267"> FloralWhite </span>#fffaf0
256 <span class="default-0268">old lace </span><span class="default-0269"> OldLace </span>#fdf5e6
257 <span class="default-0270">linen </span><span class="default-0271"> linen </span>#faf0e6
258 <span class="default-0272">antique white </span><span class="default-0273"> AntiqueWhite </span>#faebd7
262 <div style="margin-top:2em; color: red; text-align: center; "> Truncated to line 1 - 9! </div>
264 <div style="width:23.085em; color:rgb(51, 51, 51); background:rgb(229, 229, 229); white-space:pre; overflow:hidden; font-family:monospace;">-- (Unix)%% <b>*Colors*</b> (Help View Abbrev) --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------</div></td>
270 <td style="vertical-align:top;"><div style="width:47.025em; height:12.76em; border: 1px solid rgb(212, 208, 200); overflow:auto; padding:4px;">
273 <script type="text/javascript">
276 function getObj(name) {
277 if (document.getElementById) {
278 this.obj = document.getElementById(name);
279 this.style = document.getElementById(name).style;
282 function hfy_toggle_display(name) {
283 var x = new getObj("hfy_invis_" + name);
284 var flag = x.style.display == 'inline';
285 x.style.display = (flag) ? 'none' : 'inline'
291 <pre><span class="default-1431">________________________
292 </span><span class="default-1432">Program and Value Search</span>
294 When you use Emacs on MS Windows you sometimes want to fetch values
295 and program locations from MS Windows. Many of these values are
296 stored in the MS Windows Registry. Since Emacs is written to be used
297 on many platforms (with the emphasis on GPL platforms) the effort to
298 let Emacs read the Registry directly has not been made. Below you can
302 <div style="margin-top:2em; color: red; text-align: center; "> Truncated to line 29 - 37! </div>
304 <div style="width:47.025em; color:rgb(51, 51, 51); background:rgb(229, 229, 229); white-space:pre; overflow:hidden; font-family:monospace;">-- (Unix)** <b>*Customize EmacsW32*</b> (Custom Abbrev) --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------</div></td>
307 <td style="vertical-align:top;"><div style="width:47.025em; height:12.76em; border: 1px solid rgb(212, 208, 200); overflow:auto; padding:4px;">
310 <script type="text/javascript">
313 function getObj(name) {
314 if (document.getElementById) {
315 this.obj = document.getElementById(name);
316 this.style = document.getElementById(name).style;
319 function hfy_toggle_display(name) {
320 var x = new getObj("hfy_invis_" + name);
321 var flag = x.style.display == 'inline';
322 x.style.display = (flag) ? 'none' : 'inline'
328 <pre> Add quick printing to File menu (htmlize-view-print-visible): <span class="bold-0248">t</span>
329 Keep default print entries in File menu (w32-print-menu-show-print): <span class="bold-0248">nil</span>
330 Keep default ps print entries in File menu (w32-print-menu-show-ps-print): <span class="bold-0248">nil</span>
331 Use keyboard Window keys as Emacs META (w32-meta-style): <span class="bold-0248">w32-lr</span>
332 Underlined accelerators in menu bar (menuacc-active): <span class="bold-0248">t</span>
333 Inferior shell + path for unix style programs (w32shell-shell): <span class="bold-0248">cmd</span>
335 <span class="custom-button-0022"> Set all to w32 style! </span> <span class="custom-button-0022"> Reset all to default! </span> <span class="custom-button-0022"> Customize EmacsW32 ... </span>
339 <div style="margin-top:2em; color: red; text-align: center; "> Truncated to line 13 - 21! </div>
341 <div style="width:47.025em; color:rgb(51, 51, 51); background:rgb(229, 229, 229); white-space:pre; overflow:hidden; font-family:monospace;">-- (Unix)** <b>*Customize EmacsW32*</b> (Custom Abbrev) --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------</div></td>
344 <td style="vertical-align:top;"><table border="0" cellpadding="0" cellspacing="0">
345 <tr><td style="vertical-align:top;"><div style="width:22.514999999999997em; height:12.76em; border: 1px solid rgb(212, 208, 200); overflow:auto; padding:4px;">
348 <script type="text/javascript">
351 function getObj(name) {
352 if (document.getElementById) {
353 this.obj = document.getElementById(name);
354 this.style = document.getElementById(name).style;
357 function hfy_toggle_display(name) {
358 var x = new getObj("hfy_invis_" + name);
359 var flag = x.style.display == 'inline';
360 x.style.display = (flag) ? 'none' : 'inline'
366 <pre>-*- mode: grep; default-directory: "c:/emacs/p/070604/EmacsW32/nxml/util/" -*-
367 Grep started at Fri Dec 28 22:54:06
369 grep -i -nH -e "hfy-tmpfont-stack" *.el
370 <span class="underline-1412">htmlfontify.el</span><span class="underline-0219">:</span><span class="underline-1413">596</span><span class="underline-0219">:</span>(defvar <span class="match-1438">hfy-tmpfont-stack</span> nil
371 <span class="underline-1412">htmlfontify.el</span><span class="underline-0219">:</span><span class="underline-1413">999</span><span class="underline-0219">:</span> (entry (assoc key <span class="match-1438">hfy-tmpfont-stack</span>))
372 <span class="underline-1412">htmlfontify.el</span><span class="underline-0219">:</span><span class="underline-1413">1003</span><span class="underline-0219">:</span> (setq tag (format "%04d" (length <span class="match-1438">hfy-tmpfont-stack</span>))
373 <span class="underline-1412">htmlfontify.el</span><span class="underline-0219">:</span><span class="underline-1413">1005</span><span class="underline-0219">:</span> <span class="match-1438">hfy-tmpfont-stack</span> (cons entry <span class="match-1438">hfy-tmpfont-stack</span>)))
377 <div style="margin-top:2em; color: red; text-align: center; "> Truncated to line 1 - 9! </div>
379 <div style="width:22.515em; color:rgb(51, 51, 51); background:rgb(229, 229, 229); white-space:pre; overflow:hidden; font-family:monospace;">-- (Unix)%% <b>*grep*</b> (Grep Abbrev) --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------</div></td>
380 <td style="vertical-align:top;"><div style="width:23.084999999999997em; height:12.76em; border: 1px solid rgb(212, 208, 200); overflow:auto; padding:4px;">
383 <script type="text/javascript">
386 function getObj(name) {
387 if (document.getElementById) {
388 this.obj = document.getElementById(name);
389 this.style = document.getElementById(name).style;
392 function hfy_toggle_display(name) {
393 var x = new getObj("hfy_invis_" + name);
394 var flag = x.style.display == 'inline';
395 x.style.display = (flag) ? 'none' : 'inline'
401 <pre><span class="underline-1439">5 matches for "hfy-tmpfont-stack" in buffer: htmlfontify.el
402 </span> 596:(<span class="keyword-face-1440">defvar</span> <span class="match-1438">hfy-tmpfont-stack</span> nil
403 999: (entry (assoc key <span class="match-1438">hfy-tmpfont-stack</span>))
404 1003: (setq tag (format <span class="string-face-1441">"%04d"</span> (length <span class="match-1438">hfy-tmpfont-stack</span>))
405 1005: <span class="match-1438">hfy-tmpfont-stack</span> (cons entry <span class="match-1438">hfy-tmpfont-stack</span>)))
406 1228: <span class="comment-delimiter-face-1418">;;</span><span class="comment-face-1419">(</span><span class="match-1438">hfy-tmpfont-stack</span><span class="comment-face-1419"> nil)</span>
410 <div style="width:23.085em; color:rgb(51, 51, 51); background:rgb(229, 229, 229); white-space:pre; overflow:hidden; font-family:monospace;">-- (Unix)%% <b>*Occur*</b> (Occur Abbrev) --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------</div></td>
419 <td style="padding:1px; color:rgb(0,0,0); ">
420 <span style="background:rgb(255, 215, 0); color:rgb(0,0,0); "> M-x </span> hfyview-frame</td>