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

« back to all changes in this revision

Viewing changes to ivle/webapp/filesystem/browser/__init__.py

  • Committer: William Grant
  • Date: 2010-07-02 13:17:16 UTC
  • mto: This revision was merged to the branch mainline in revision 1825.
  • Revision ID: grantw@unimelb.edu.au-20100702131716-hdnktq7drf615puj
Add external CodeMirror dep, and use it instead of the embedded copy.

Show diffs side-by-side

added added

removed removed

Lines of Context:
65
65
        self.plugin_scripts[Plugin] = ['browser.js',
66
66
                                       'listing.js',
67
67
                                       'editor.js',
68
 
                                       'specialhome.js',
69
 
                                       'codemirror/js/codemirror.js']
 
68
                                       'specialhome.js']
 
69
        self.plugin_scripts['+external/codemirror'] = ['js/codemirror.js']
70
70
        self.scripts_init = ["browser_init"]
71
71
 
72
72
        # Start writing data
98
98
 
99
99
        # Media URL for CodeMirror
100
100
        ctx['mediapath'] = media_url(req, Plugin, '')
 
101
        ctx['codemirrorpath'] = media_url(req, '+external/codemirror', '')
101
102
 
102
103
    @property
103
104
    def path(self):