diff options
Diffstat (limited to 'Master/texmf-dist/tex/context/base/context-error.lmx')
-rw-r--r-- | Master/texmf-dist/tex/context/base/context-error.lmx | 55 |
1 files changed, 55 insertions, 0 deletions
diff --git a/Master/texmf-dist/tex/context/base/context-error.lmx b/Master/texmf-dist/tex/context/base/context-error.lmx new file mode 100644 index 00000000000..df3ad909032 --- /dev/null +++ b/Master/texmf-dist/tex/context/base/context-error.lmx @@ -0,0 +1,55 @@ +<!-- + -- filename : comm-err.xml + -- comment : companion to comm-xml.tex + -- author : Hans Hagen, PRAGMA-ADE, Hasselt NL + -- copyright: PRAGMA ADE / ConTeXt Development Team + -- license : see context related readme files + +--> + +<html> + <title><?lua pv('title')?></title> + <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> + <style type="text/css"> + <!-- + <?lmx-include context.css ?> + --> + </style> + <script language="JavaScript"> + <!-- + window.focus(); + parent.close(); + --> + </script> + <body> + <div id="top"><div id="top-one"><div id="top-two"> + <?lua pv('title')?> + </div></div></div> + <div id="left"><div id="left-one"><div id="left-two"> + <!-- empty --> + </div></div></div> + <div id="right"><div id="right-safari"><div id="right-one"><div id="right-two"><div id="right-three"><div id="right-four"><div id="right-five"> + <!-- empty --> + <br/> + <a href="<?lua pv('filename')?>">edit</a> + <br/> + </div></div></div></div></div></div></div> + <div id="main"><div id="main-settings"> + <table> + <tr><td>Error</td><td> <?lua tv('errormessage')?></td></tr> + <tr><td>File </td><td> <?lua tv('filename') ?></td></tr> + <tr><td>Line </td><td> <?lua tv('linenumber') ?></td></tr> + </table> + </br> + <pre> + <?lua pv('errorcontext')?> + </pre> + </div></div> + <div id="bottom"><div id="bottom-one"><div id="bottom-two"> + Job Name: <?lua p(environment.jobname) ?> + ConTeXt Version: <?lua p(environment.version) ?> + Real Page: <?lua p(tracers.cs('c:realpageno')) ?> + Page: <?lua p(tracers.cs('c:pageno')) ?> + </div></div></div> + </body> +</html> |