Indexing updating

[jcm2016]

I've noticed that the indexing doesn't update in real time.  For example, I've copied big batches of registrations into the User section, and they aren't immediately searchable.  Is there a way to force the indexing to update?  I'm guessing it is on a timer, and I've noticed it say last update was 8 minutes earlier, so how long is that timer?  Thanks in advance.

[Toril S]

It needs some time to update the index. That is normal, so we have to live with it😀

[johan]

I don't think the update uses some kind of timer. My guess is that the update takes place in the background  but with low priority (the keyboard operating system is based on linux).

[jcm2016]

Thank you for the responses