/plugins/supported/
drwxr-xr-x [up]
drwxr-xr-x appconfig
drwxr-xr-x bespin_server
drwxr-xr-x canon
drwxr-xr-x command_line
drwxr-xr-x completion
drwxr-xr-x ctags
drwxr-xr-x edit_session
drwxr-xr-x events
drwxr-xr-x file_commands
drwxr-xr-x file_history
drwxr-xr-x filesystem
drwxr-xr-x keyboard
drwxr-xr-x matcher
drwxr-xr-x notifier
drwxr-xr-x plugindev
drwxr-xr-x project
drwxr-xr-x rangeutils
drwxr-xr-x screen_theme
drwxr-xr-x settings
drwxr-xr-x syntax_manager
drwxr-xr-x text_editor
drwxr-xr-x theme_manager
drwxr-xr-x toolbar
drwxr-xr-x types
drwxr-xr-x undomanager
drwxr-xr-x userident
drwxr-xr-x whitetheme
-rw-r--r-- 2010-09-24 08:41 -0400 11771 debugging.js
-rw-r--r-- 2010-09-24 08:41 -0400 2345 diff_syntax.js
-rw-r--r-- 2010-09-24 08:41 -0400 3713 editing_commands.js
-rw-r--r-- 2010-09-24 08:41 -0400 2043 embedded.js
-rw-r--r-- 2010-09-24 08:41 -0400 6210 environment.js
-rw-r--r-- 2010-09-24 08:41 -0400 2272 gritter_notify.js
-rw-r--r-- 2010-09-24 08:41 -0400 17978 html.js
-rw-r--r-- 2010-09-24 08:41 -0400 3391 js_completion.js
-rw-r--r-- 2010-09-24 08:41 -0400 4001 js_syntax.js
-rw-r--r-- 2010-09-24 08:41 -0400 3778 jslint_command.js
-rw-r--r-- 2010-09-24 08:41 -0400 2232 mozilla.js
-rw-r--r-- 2010-09-24 08:41 -0400 4261 standard_syntax.js
-rw-r--r-- 2010-09-24 08:41 -0400 4329 stylesheet.js
-rw-r--r-- 2010-09-24 08:41 -0400 3313 syntax_directory.js
-rw-r--r-- 2010-09-24 08:41 -0400 5338 syntax_worker.js
-rw-r--r-- 2010-09-24 08:41 -0400 11272 templater.js
-rw-r--r-- 2010-09-24 08:41 -0400 3412 theme_manager_base.js
-rw-r--r-- 2010-09-24 08:41 -0400 2530 uicommands.js
-rw-r--r-- 2010-09-24 08:41 -0400 7013 worker_manager.js