blob: 7a41e9dae1df4bd8a8b6f4e2ffa7a0610c03a02e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
"http://www.w3.org/TR/html4/loose.dtd">
<html >
<head><title></title>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<meta name="generator" content="TeX4ht (http://www.tug.org/tex4ht/)">
<meta name="originator" content="TeX4ht (http://www.tug.org/tex4ht/)">
<!-- info,2,imgdir:images/,sec-filename,next,index=2,url-enc,html -->
<meta name="src" content="index.tex">
<link rel="stylesheet" type="text/css" href="index.css">
</head><body
>
<!--l. 9--><p class="noindent" ><div id="container"> <div class="footnote-text">
<span class="footnote-mark"><a
id="fn1x9"></a></span><span
class="ec-lmr-10">Use </span><em><b><span
class="ec-lmr-10">Format</span></b></em><span
class="lmsy-10">→</span><em><b><span
class="ec-lmr-10">Syntax Coloring</span></b></em> <span
class="ec-lmr-10">to change the highlighting scheme for the current document,</span>
<span
class="ec-lmr-10">and </span><em><b><span
class="ec-lmr-10">Edit</span></b></em><span
class="lmsy-10">→</span><span
class="ec-lmr-10">Preferences</span><span
class="ec-lmr-10">…</span><span
class="lmsy-10">→</span><em><b><span
class="ec-lmr-10">Editor</span></b></em><span
class="lmsy-10">→</span><em><b><span
class="ec-lmr-10">Syntax Coloring</span></b></em> <span
class="ec-lmr-10">to set the default one.</span></div>
<!--l. 9--><p class="indent" > </div>
</body></html>
|