← 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: mattgiuca
  • Date: 2008-03-05 22:33:32 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:655
subjects: Fixed a bug from crufty code (exception thrown if you don't put a
                '/'). Now automatically adds a '/' to the end of the URL.

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,
89
 
        replace_tab_by_spaces: 4,
 
88
        replace_tab_by_spaces: 4
90
89
    });
91
90
}
92
91