← Back to branch summary

~azzar1/unity/add-show-desktop-key

« back to all changes in this revision

Viewing changes to www/apps/browser/__init__.py

  • Committer: wagrant
  • Date: 2008-07-09 04:08:52 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:837
Add a highlighting-language selector to the editor.

Show diffs side-by-side

added added

removed removed

Lines of Context:
www/apps/browser/__init__.py
247
247
    req.write("""    <p id="actions2_file">
248
248
      <input type="button" id="save_button" value="Save" onclick="save_file('%s')" />
249
249
      <input type="button" id="saveas_button" value="Save As..." onclick="save_file_as('%s')" />
 
250
      <select id="highlighting_select" onchange="highlighting_changed(this)">
 
251
          <option value="text">Text</option>
 
252
          <option value="python">Python</option>
 
253
          <option value="html">HTML</option>
 
254
          <option value="javascript">JavaScript</option>
 
255
          <option value="css">CSS</option>
 
256
      </select>
250
257
    </p>
251
258
""" % ((cgi.escape(req.path),) * 2))