package info
(click to toggle)
Folder: remote_editor
| .. (parent) | ||||
| d | rwxr-xr-x | 106 | communication | |
| d | rwxr-xr-x | 113 | editor_plugins | |
| - | rw-r--r-- | 0 | __init__.py | |
| - | rw-r--r-- | 3,236 | actions.py | |
| - | rw-r--r-- | 143 | api.py | |
| - | rw-r--r-- | 463 | enshell_client.py | |
| - | rw-r--r-- | 2,155 | envisage_remote_editor.py | |
| - | rw-r--r-- | 482 | i_remote_editor.py | |
| - | rw-r--r-- | 471 | i_remote_shell.py | |
| - | rw-r--r-- | 227 | preferences.ini | |
| - | rw-r--r-- | 607 | remote_editor_controller.py | |
| - | rw-r--r-- | 3,449 | remote_editor_plugin.py | |
| - | rw-r--r-- | 884 | remote_shell_controller.py |
