← 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-02-05 01:51:26 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:411
Renamed lib/fileservice to lib/fileservice_lib (naming conflict).
Added new app: fileservice. This app replaces the old one that was deleted -
it simply calls fileservice_lib.handle, and that's it (so it functions exactly
the same).

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
 
66
68
    var files = document.getElementById("filesbody");
67
69
    /* Put our UI at the top */
68
70
    present_editorhead(files, path, handler_type);
81
83
    editAreaLoader.init({
82
84
        id : "editbox",
83
85
        syntax: "python",
84
 
        toolbar: "search, go_to_line, |, undo, redo, |, select_font, |, syntax_selection, |, highlight, |, help",
85
86
        start_highlight: true,
86
87
        allow_toggle: false,
87
88
        allow_resize: false,
88
 
        replace_tab_by_spaces: 4
 
89
        replace_tab_by_spaces: 4,
89
90
    });
90
91
}
91
92