14 commits

Author	SHA1	Message	Date
Damir Jelić	029369a04b	EventIndexPanel: Small style fix.	2020-01-24 11:56:43 +01:00
Damir Jelić	ffe5d411db	EventIndexPanel: Add a link to the download page of Riot Desktop.	2020-01-24 11:44:56 +01:00
Damir Jelić	660240e2c0	EventIndexPanel: Use formatCount to format the room count.	2020-01-24 11:13:09 +01:00
Damir Jelić	93facca479	ManageEventIndex: Rename the file to contain the Dialog suffix.	2020-01-24 09:54:46 +01:00
Damir Jelić	a5a149933a	EventIndexPanel: Add a spinner when the index is being enabled.	2020-01-23 15:06:38 +01:00
Damir Jelić	981acec0d2	EventIndexPanel: Show the enable button if event indexing is disabled.	2020-01-23 14:27:46 +01:00
Damir Jelić	a2892f5b02	EventIndex: Fix some lint issues.	2020-01-21 16:40:32 +01:00
Damir Jelić	6b85284632	EventIndexPanel: Move the bulk of the event index info into a modal.	2020-01-21 13:20:30 +01:00
Damir Jelić	908a00a13d	EventIndexPanel: Move the panel from the preferences to the security tab.	2020-01-21 10:06:04 +01:00
Damir Jelić	4913d579e3	EventIndexPanel: Reword the crawler state if no room is being crawled.	2020-01-21 09:24:20 +01:00
Damir Jelić	8de149704e	EventIndexPanel: Dynamically update the indexer stats.	2020-01-20 17:43:55 +01:00
Damir Jelić	1b9b30d4ea	EventIndexPanel: Get more stats for our indexer, not just the size.	2020-01-20 17:42:24 +01:00
Damir Jelić	695b8aff5b	EventIndexPanel: Reword the enable/disable setting.	2020-01-17 17:14:55 +01:00
Damir Jelić	3b99f7565d	PreferencesUserSettingsTab: Move the event index UI into a separate component.	2020-01-17 17:10:59 +01:00