Damir Jelić 3185d6baf5 EventIndex: Add some logging to the file panel populating.		2020-03-20 13:58:29 +01:00
..
BaseEventIndexManager.js	EventIndex: Add support to delete events from the index.	2020-03-12 12:01:50 +01:00
EventIndex.js	EventIndex: Add some logging to the file panel populating.	2020-03-20 13:58:29 +01:00
EventIndexPeg.js	EventIndex: Properly await the index closing.	2020-03-13 11:33:58 +01:00