1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
<!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>
<title>File Editor</title>
<meta http-equiv="Content-Type" content="application/xml+xhtml; charset=utf-8"
/>
<script type="text/javascript" src="json2.js"></script>
<script type="text/javascript" src="browser.js"></script>
</head>
<body onload="init_edit()">
<p><a href="browser.html">Back to browser</a></p>
<p>Filename: <input id="filename" type="text" /></p>
<p><input type="button" value="Save" onclick="savefile()" />
<input type="button" value="Save and Commit" onclick="saveandcommit()" />
<input type="button" value="Reload" onclick="loadfile()" /></p>
<p>
<textarea id="data" cols="80" rows="25"></textarea>
</p>
</body>
</html>
|