summaryrefslogtreecommitdiff
path: root/Master/tlpkg/texworks/texworks-help/TeXworks-manual/en/index38.html
diff options
context:
space:
mode:
Diffstat (limited to 'Master/tlpkg/texworks/texworks-help/TeXworks-manual/en/index38.html')
-rw-r--r--Master/tlpkg/texworks/texworks-help/TeXworks-manual/en/index38.html48
1 files changed, 48 insertions, 0 deletions
diff --git a/Master/tlpkg/texworks/texworks-help/TeXworks-manual/en/index38.html b/Master/tlpkg/texworks/texworks-help/TeXworks-manual/en/index38.html
new file mode 100644
index 00000000000..bfc73d889bd
--- /dev/null
+++ b/Master/tlpkg/texworks/texworks-help/TeXworks-manual/en/index38.html
@@ -0,0 +1,48 @@
+<?xml version="1.0"?>
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
+ "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml">
+<head>
+<meta name="generator" content=
+"HTML Tidy for HTML5 for Linux version 5.6.0" />
+<title></title>
+<meta http-equiv="Content-Type" content=
+"text/html; charset=utf-8" />
+<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" />
+<style type="text/css" xml:space="preserve">
+/*<![CDATA[*/
+ em.c16 {font-weight: bold}
+/*]]>*/
+</style>
+</head>
+<body>
+<!--l. 9-->
+<p class="noindent"></p>
+<div id="container">
+<div class="footnote-text">
+<span class="footnote-mark"><a id="fn1x9" name=
+"fn1x9"></a></span><span class="ec-lmr-10">Use</span> <em class=
+"c16"><span class="ec-lmr-10">Format</span></em><span class=
+"lmsy-10">→</span><em class="c16"><span class="ec-lmr-10">Syntax
+Coloring</span></em> <span class="ec-lmr-10">to change the
+highlighting scheme for the current document,</span> <span class=
+"ec-lmr-10">and</span> <em class="c16"><span class=
+"ec-lmr-10">Edit</span></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 class=
+"c16"><span class="ec-lmr-10">Editor</span></em><span class=
+"lmsy-10">→</span><em class="c16"><span class="ec-lmr-10">Syntax
+Coloring</span></em> <span class="ec-lmr-10">to set the default
+one.</span>
+</div><!--l. 9-->
+<p class="indent"></p>
+</div>
+</body>
+</html>