126
126
This is always exactly the same - the JavaScript will customize it later.
128
128
req.write(""" <a id="act_open" class="disabled">Open</a> :
130
132
<a id="act_run" title="Run the selected Python file in the console"
131
133
class="disabled">Run</a> :
132
134
<a id="act_download" class="choice">Download</a> :
133
135
<a title="Refresh the current page" onclick="refresh()"
134
136
class="choice">Refresh</a> :
138
142
<option class="heading" disabled="disabled">Publishing</option>
139
143
<option id="act_publish" class="disabled" disabled="disabled"