1
<html xmlns="http://www.w3.org/1999/xhtml"
2
xmlns:py="http://genshi.edgewall.org/">
3
<!-- Top bar section -->
5
<title>${title}</title>
6
<script type="text/javascript">
7
codemirrorpath = "${codemirrorpath}";
14
<a id="act_open" class="disabled">Open</a> :
16
title="View this file on the web, running your code if this is a CGI file"
17
class="disabled" target="_blank">Serve</a> :
18
<a id="act_run" title="Run the selected Python file in the console"
19
class="disabled">Run</a> :
20
<a id="act_download" class="choice">Download</a> :
21
<a title="Refresh the current page" onclick="refresh()"
22
class="choice">Refresh</a>
23
<span id="moreactions_area"> :
24
<select id="moreactions" onchange="handle_moreactions()"
25
onblur="handle_moreactions()">
26
<option class="moreactions" value="top"
27
selected="selected">More actions...</option>
28
<py:for each="(name, disablement, group) in moreactions">
30
<optgroup label="${name}">
32
<py:choose test="disablement">
35
<py:for each="(id, bits) in group">
36
<option id="act_${id}" class="disabled" disabled="disabled"
37
title="${bits[1]}" value="${id}">${bits[0]}</option>
42
<py:for each="(id, bits) in group">
43
<option id="act_${id}" title="${bits[1]}"
44
value="${id}">${bits[0]}</option>
54
</span> <!-- actions1 -->
56
<form id="actions2_directory"
57
target="upload_iframe"
58
action="${fileservice_action}"
59
enctype="multipart/form-data" method="post">
60
<span style="display:none" id="uploadpanel">
61
<label for="upload_file">Upload file:</label>
62
<input type="hidden" value="putfiles" name="action" />
63
<input type="hidden" value="" name="path" />
64
<input type="file" name="data" id="upload_file" />
65
<input type="checkbox" checked="checked" value="true" name="unpack" id="unpack" />
66
<label title="Extract files and directories from a ZIP file if one is uploaded" for="unpack">Unzip</label>
67
<input type="button" onclick="show_uploadpanel(false)" value="Cancel" />
68
<input type="submit" value="Upload" />
70
<!-- This iframe is for making a call to upload the file without
71
refreshing the page. (It will refresh the listing). -->
72
<iframe onload="upload_callback()" style="display: none;"
73
name="upload_iframe" id="upload_iframe"></iframe>
75
<span id="actions2_file">
76
<input type="button" id="save_button" value="Save" onclick="save_file('${filename}')" />
77
<input type="button" id="saveas_button" value="Save As..." onclick="save_file_as('${filename}')" />
78
<select id="highlighting_select" onchange="highlighting_changed(this)">
79
<option value="text">Text</option>
80
<option value="python">Python</option>
81
<option value="html">HTML</option>
82
<option value="javascript">JavaScript</option>
83
<option value="css">CSS</option>
86
</span> <!-- actions2 -->
87
</div> <!-- actions -->
89
<!-- Body. The JavaScript places content here relevant to the path -->