Now, the search history only contains "find usages" searches. It would be nice to have the other types of searches in the history, "find text" being the most important.