Commit Graph

10 Commits

Author SHA1 Message Date
Kristóf Tóth
31ba6cb623 Rename anchor -> key globally ¯\_(ツ)_/¯ 2018-02-21 15:28:16 +01:00
Kristóf Tóth
3e54733033 Remove unused import 2018-02-16 11:09:58 +01:00
Kristóf Tóth
6e7e681602 Remove unnecessary call in FileManager 2018-02-15 16:32:41 +01:00
Kristóf Tóth
ade210c4fc Remove extension -> language mapping from backend (move to frontend) 2018-02-15 16:30:02 +01:00
Kristóf Tóth
c2e161dad3 Make DirectoryMonitor pausable using the with statement 2018-02-14 17:44:05 +01:00
Kristóf Tóth
0b3db0ae9e Implement pausing watchdog while webide files are being written 2018-02-14 16:09:09 +01:00
Bálint Bokros
14f3a4a153 Move SupervisorMixin to mixins 2018-02-13 17:51:19 +01:00
Kristóf Tóth
1d47ca5684 Add method EventHandlerBase.cleanup() 2018-02-13 15:38:46 +01:00
Kristóf Tóth
9c006451bf Implement proof of concept directory event monitoring 2018-02-12 16:01:24 +01:00
Kristóf Tóth
1692b424b5 Move webide and terminado event handlers to lib/tfw/components 2018-02-11 14:15:10 +01:00