aboutsummaryrefslogtreecommitdiff
path: root/js
diff options
context:
space:
mode:
Diffstat (limited to 'js')
-rw-r--r--js/codemirror/lib/codemirror.css67
-rw-r--r--js/codemirror/lib/codemirror.js2144
-rw-r--r--js/codemirror/lib/overlay.js51
-rw-r--r--js/codemirror/lib/runmode.js27
-rw-r--r--js/codemirror/mode/clike/clike.js247
-rw-r--r--js/codemirror/mode/clike/index.html102
-rw-r--r--js/codemirror/mode/css/css.js124
-rw-r--r--js/codemirror/mode/css/index.html56
-rw-r--r--js/codemirror/mode/diff/diff.css3
-rw-r--r--js/codemirror/mode/diff/diff.js13
-rw-r--r--js/codemirror/mode/diff/index.html99
-rw-r--r--js/codemirror/mode/haskell/haskell.js242
-rw-r--r--js/codemirror/mode/haskell/index.html60
-rw-r--r--js/codemirror/mode/htmlmixed/htmlmixed.js79
-rw-r--r--js/codemirror/mode/htmlmixed/index.html52
-rw-r--r--js/codemirror/mode/javascript/index.html78
-rw-r--r--js/codemirror/mode/javascript/javascript.js348
-rw-r--r--js/codemirror/mode/lua/index.html72
-rw-r--r--js/codemirror/mode/lua/lua.js138
-rw-r--r--js/codemirror/mode/php/index.html49
-rw-r--r--js/codemirror/mode/php/php.js110
-rw-r--r--js/codemirror/mode/plsql/index.html63
-rw-r--r--js/codemirror/mode/plsql/plsql.js217
-rw-r--r--js/codemirror/mode/python/LICENSE.txt21
-rw-r--r--js/codemirror/mode/python/index.html123
-rw-r--r--js/codemirror/mode/python/python.js321
-rw-r--r--js/codemirror/mode/rst/index.html526
-rw-r--r--js/codemirror/mode/rst/rst.css75
-rw-r--r--js/codemirror/mode/rst/rst.js333
-rw-r--r--js/codemirror/mode/scheme/index.html65
-rw-r--r--js/codemirror/mode/scheme/scheme.js181
-rw-r--r--js/codemirror/mode/smalltalk/index.html56
-rw-r--r--js/codemirror/mode/smalltalk/smalltalk.js122
-rw-r--r--js/codemirror/mode/sparql/index.html41
-rw-r--r--js/codemirror/mode/sparql/sparql.js143
-rw-r--r--js/codemirror/mode/stex/index.html96
-rw-r--r--js/codemirror/mode/stex/stex.js167
-rw-r--r--js/codemirror/mode/xml/index.html42
-rw-r--r--js/codemirror/mode/xml/xml.js231
-rw-r--r--js/codemirror/mode/yaml/index.html68
-rw-r--r--js/codemirror/mode/yaml/yaml.js95
-rw-r--r--js/codemirror/notice.txt4
-rw-r--r--js/codemirror/theme/default.css18
-rw-r--r--js/codemirror/theme/elegant.css9
-rw-r--r--js/codemirror/theme/neat.css8
-rw-r--r--js/codemirror/theme/night.css20
-rw-r--r--js/codemirror/version.txt1
-rwxr-xr-x[-rw-r--r--]js/components/SliderBase.js0
-rwxr-xr-x[-rw-r--r--]js/components/button.reel/button.css0
-rwxr-xr-x[-rw-r--r--]js/components/button.reel/button.html0
-rwxr-xr-x[-rw-r--r--]js/components/button.reel/button.js0
-rwxr-xr-x[-rw-r--r--]js/components/checkbox.reel/checkbox.html0
-rwxr-xr-x[-rw-r--r--]js/components/checkbox.reel/checkbox.js0
-rwxr-xr-x[-rw-r--r--]js/components/colorbar.reel/colorbar.html0
-rwxr-xr-x[-rw-r--r--]js/components/colorbar.reel/colorbar.js0
-rwxr-xr-x[-rw-r--r--]js/components/colorbar.reel/css/colorbar.css0
-rwxr-xr-x[-rw-r--r--]js/components/colorwheel.reel/colorwheel.html0
-rwxr-xr-x[-rw-r--r--]js/components/colorwheel.reel/colorwheel.js0
-rwxr-xr-x[-rw-r--r--]js/components/colorwheel.reel/css/colorwheel.css0
-rwxr-xr-x[-rw-r--r--]js/components/combobox.reel/combobox.html0
-rwxr-xr-x[-rw-r--r--]js/components/combobox.reel/combobox.js0
-rwxr-xr-x[-rw-r--r--]js/components/core/class-uuid.js0
-rwxr-xr-x[-rw-r--r--]js/components/gradientpicker.reel/css/gradientpicker.css0
-rwxr-xr-x[-rw-r--r--]js/components/gradientpicker.reel/gradientpicker.html0
-rwxr-xr-x[-rw-r--r--]js/components/gradientpicker.reel/gradientpicker.js0
-rwxr-xr-x[-rw-r--r--]js/components/hottext.reel/hottext.css0
-rwxr-xr-x[-rw-r--r--]js/components/hottext.reel/hottext.html0
-rwxr-xr-x[-rw-r--r--]js/components/hottext.reel/hottext.js0
-rwxr-xr-x[-rw-r--r--]js/components/hottextunit.reel/hottextunit.css0
-rwxr-xr-x[-rw-r--r--]js/components/hottextunit.reel/hottextunit.html0
-rwxr-xr-x[-rw-r--r--]js/components/hottextunit.reel/hottextunit.js0
-rwxr-xr-x[-rw-r--r--]js/components/layout/bread-crumb-button.reel/bread-crumb-button.css0
-rwxr-xr-x[-rw-r--r--]js/components/layout/bread-crumb-button.reel/bread-crumb-button.html0
-rwxr-xr-x[-rw-r--r--]js/components/layout/bread-crumb-button.reel/bread-crumb-button.js0
-rwxr-xr-x[-rw-r--r--]js/components/layout/bread-crumb.reel/bread-crumb.css0
-rwxr-xr-x[-rw-r--r--]js/components/layout/bread-crumb.reel/bread-crumb.html0
-rwxr-xr-x[-rw-r--r--]js/components/layout/bread-crumb.reel/bread-crumb.js0
-rwxr-xr-x[-rw-r--r--]js/components/layout/document-bar.reel/document-bar.css9
-rwxr-xr-x[-rw-r--r--]js/components/layout/document-bar.reel/document-bar.html4
-rwxr-xr-x[-rw-r--r--]js/components/layout/document-bar.reel/document-bar.js10
-rwxr-xr-x[-rw-r--r--]js/components/layout/document-entry.reel/close_button.gifbin139 -> 139 bytes
-rwxr-xr-x[-rw-r--r--]js/components/layout/document-entry.reel/document-entry.css1
-rwxr-xr-x[-rw-r--r--]js/components/layout/document-entry.reel/document-entry.html0
-rwxr-xr-x[-rw-r--r--]js/components/layout/document-entry.reel/document-entry.js29
-rwxr-xr-x[-rw-r--r--]js/components/layout/documents-tab.reel/documents-tab.css0
-rwxr-xr-x[-rw-r--r--]js/components/layout/documents-tab.reel/documents-tab.html5
-rwxr-xr-x[-rw-r--r--]js/components/layout/documents-tab.reel/documents-tab.js4
-rwxr-xr-x[-rw-r--r--]js/components/layout/stage-mode.reel/stage-mode.css0
-rwxr-xr-x[-rw-r--r--]js/components/layout/stage-mode.reel/stage-mode.html0
-rwxr-xr-x[-rw-r--r--]js/components/layout/stage-mode.reel/stage-mode.js0
-rwxr-xr-x[-rw-r--r--]js/components/layout/subtool-button.reel/subtool-button.css0
-rwxr-xr-x[-rw-r--r--]js/components/layout/subtool-button.reel/subtool-button.html0
-rwxr-xr-x[-rw-r--r--]js/components/layout/subtool-button.reel/subtool-button.js0
-rwxr-xr-x[-rw-r--r--]js/components/layout/tool-button.reel/tool-button.css0
-rwxr-xr-x[-rw-r--r--]js/components/layout/tool-button.reel/tool-button.html0
-rwxr-xr-x[-rw-r--r--]js/components/layout/tool-button.reel/tool-button.js2
-rwxr-xr-x[-rw-r--r--]js/components/layout/tools-list.reel/tools-list.css0
-rwxr-xr-x[-rw-r--r--]js/components/layout/tools-list.reel/tools-list.html0
-rwxr-xr-x[-rw-r--r--]js/components/layout/tools-list.reel/tools-list.js0
-rwxr-xr-x[-rw-r--r--]js/components/layout/tools-properties.reel/tools-properties.css0
-rwxr-xr-x[-rw-r--r--]js/components/layout/tools-properties.reel/tools-properties.html0
-rwxr-xr-x[-rw-r--r--]js/components/layout/tools-properties.reel/tools-properties.js0
-rwxr-xr-x[-rw-r--r--]js/components/menu/menu-entry.reel/menu-entry.css0
-rwxr-xr-x[-rw-r--r--]js/components/menu/menu-entry.reel/menu-entry.html0
-rwxr-xr-x[-rw-r--r--]js/components/menu/menu-entry.reel/menu-entry.js0
-rwxr-xr-x[-rw-r--r--]js/components/menu/menu-item.reel/menu-item.css0
-rwxr-xr-x[-rw-r--r--]js/components/menu/menu-item.reel/menu-item.html0
-rwxr-xr-x[-rw-r--r--]js/components/menu/menu-item.reel/menu-item.js0
-rwxr-xr-x[-rw-r--r--]js/components/menu/menu.reel/menu.css0
-rwxr-xr-x[-rw-r--r--]js/components/menu/menu.reel/menu.html0
-rwxr-xr-x[-rw-r--r--]js/components/menu/menu.reel/menu.js0
-rwxr-xr-x[-rw-r--r--]js/components/popup-manager.reel/popup-manager.html0
-rwxr-xr-x[-rw-r--r--]js/components/popup-manager.reel/popup-manager.js5
-rwxr-xr-x[-rw-r--r--]js/components/popup.reel/css/popup.css0
-rwxr-xr-x[-rw-r--r--]