← Back to branch summary

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

« back to all changes in this revision

Viewing changes to www/media/browser/editor.js

  • Committer: dcoles
  • Date: 2008-03-04 11:38:02 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:642
makeuser.py: Needs to import random

Show diffs side-by-side

added added

removed removed

Lines of Context:
www/media/browser/editor.js
63
63
    /* Create a textarea with the text in it
64
64
     * (The makings of a primitive editor).
65
65
     */
66
 
    setmode(true);
67
 
 
68
66
    var files = document.getElementById("filesbody");
69
67
    /* Put our UI at the top */
70
68
    present_editorhead(files, path, handler_type);
83
81
    editAreaLoader.init({
84
82
        id : "editbox",
85
83
        syntax: "python",
 
84
        toolbar: "search, go_to_line, |, undo, redo, |, select_font, |, syntax_selection, |, highlight, |, help",
86
85
        start_highlight: true,
87
86
        allow_toggle: false,
88
87
        allow_resize: false,