Kristóf Tóth 3b30b333e5 Rename webide -> ide

2018-04-20 17:33:06 +02:00

..

__init__.py

Rename webide -> ide

2018-04-20 17:33:06 +02:00

directory_monitor.py

Rename webide -> ide

2018-04-20 17:33:06 +02:00

directory_monitoring_event_handler.py

Move TriggerlessEventHandler logic to base class EventHandlerBase

2018-04-18 18:47:51 +02:00

history_monitor.py

Add a huge bunch of docstrings

2018-04-18 19:44:26 +02:00

ide_event_handler.py

Rename webide -> ide

2018-04-20 17:33:06 +02:00

process_managing_event_handler.py

Add a huge bunch of docstrings

2018-04-18 19:44:26 +02:00

terminado_event_handler.py

Nicen some EventHandler API docstrings

2018-04-19 10:47:20 +02:00

terminado_mini_server.py

Add LICENSE file and include copyright notice in source files

2018-04-03 14:49:14 +02:00

terminal_commands.py

Add a huge bunch of docstrings

2018-04-18 19:44:26 +02:00