diff options
author | Akira Kakuto <kakuto@fuk.kindai.ac.jp> | 2019-03-16 21:39:55 +0000 |
---|---|---|
committer | Akira Kakuto <kakuto@fuk.kindai.ac.jp> | 2019-03-16 21:39:55 +0000 |
commit | 104ed05226bd6b9fd037bca78e9444182f5e9b76 (patch) | |
tree | c365f77d3055c70f10f5916a112d0f3e4550f654 /Master/tlpkg/texworks/texworks-help/TeXworks-manual/en/index39.html | |
parent | ed678cdbbefdb3f70193a74bb362c7b3b426fb74 (diff) |
texworks 0.6.3
git-svn-id: svn://tug.org/texlive/trunk@50414 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/texworks/texworks-help/TeXworks-manual/en/index39.html')
-rw-r--r-- | Master/tlpkg/texworks/texworks-help/TeXworks-manual/en/index39.html | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/Master/tlpkg/texworks/texworks-help/TeXworks-manual/en/index39.html b/Master/tlpkg/texworks/texworks-help/TeXworks-manual/en/index39.html new file mode 100644 index 00000000000..7a41e9dae1d --- /dev/null +++ b/Master/tlpkg/texworks/texworks-help/TeXworks-manual/en/index39.html @@ -0,0 +1,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> |