Improve bookmarked searches

Here are some modifications on bookmarked searches.
It's not finished. There are still debates about the way to highlight an error.