Damir Jelić 75fe3c2219 ManageEventIndexDialog: Show how many rooms are being currently crawled.

2020-02-01 12:01:53 +01:00

..

BaseEventIndexManager.js

BaseEventIndexManager: Fix the type hints for the empty promises.

2020-01-28 15:07:29 +01:00

EventIndex.js

ManageEventIndexDialog: Show how many rooms are being currently crawled.

2020-02-01 12:01:53 +01:00

EventIndexPeg.js

EventIndexPeg: Style fix for a docstring.

2020-01-24 11:16:49 +01:00