introduce a SearchLineWidget, which is a SearchLineEdit + AnimatedWidget
this small widget is useful for providing a search line edit with an animated widget next to it, with the latter shown while the search is in progress currently, the animation is slightly delayed, so we avoid very quick results (ie the next occurrence is on the same page) to show the animation for a very short time