Main window: search update: Don't try to update search results immediatly as the user is typing. Wait half a second before updating them

Signed-off-by: Jerome Flesch <jflesch@gmail.com>