1<?xml version = " 1.0 " encoding = " UTF-8 " ?>
2
3<!DOCTYPE html PUBLIC " -//W3C//DTD XHTML 1.0 Strict//EN " " http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd " >
4
5<!--
6
7
8
9
10
11-->
12
13< html xmlns = " http://www.w3.org/1999/xhtml " lang = " en " xml: lang = " en " >
14 < head >
15 <script type='text/javascript'>
16 <!--
17 window.focus();
18 -->
19 </script>
20 < title > <?lua pv ( ' title ' ) ?> </ title >
21 < meta http-equiv = " Content-Type " content = " text/html; charset=UTF-8 " />
22 < style type = " text/css " >
23 <!--
24
25 -->
26 </ style >
27 </ head >
28 < body >
29 < div id = " top " > < div id = " top-one " > < div id = " top-two " >
30 <?lua pv ( ' title ' ) ?>
31 </ div > </ div > </ div >
32 < div id = " left " > < div id = " left-one " > < div id = " left-two " >
33 <!-- -->
34 </ div > </ div > </ div >
35 < 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 " >
36 <!-- -->
37 < br />
38 < a href = " <?lua pv('filename')?> " > edit </ a >
39 < br />
40 </ div > </ div > </ div > </ div > </ div > </ div > </ div >
41 < div id = " main " > < div id = " main-settings " >
42 < table >
43 < tr > < td > Error </ td > < td > <?lua tv ( ' errormessage ' ) ?> </ td > </ tr >
44 < tr > < td > File </ td > < td > <?lua tv ( ' filename ' ) ?> </ td > </ tr >
45 < tr > < td > Line </ td > < td > <?lua tv ( ' linenumber ' ) ?> </ td > </ tr >
46 </ table >
47 < br />
48 < pre >
49<?lua pv ( ' errorcontext ' ) ?>
50 </ pre >
51 </ div > </ div >
52 < div id = " bottom " > < div id = " bottom-one " > < div id = " bottom-two " >
53 Job Name : <?lua p ( environment . jobname ) ?>
54 ConTeXt Version : <?lua p ( environment . version ) ?>
55 Real Page : <?lua p ( tracers . cs ( ' c:realpageno ' ) ) ?>
56 Page : <?lua p ( tracers . cs ( ' c:pageno ' ) ) ?>
57 </ div > </ div > </ div >
58 </ body >
59</ html >
60 |
