Added feature to save and restore the search history
Authored by: Jean-Francois Dockes 2018-04-17
Parent(s): [7fe13e]
Child(ren): [a5aaa5]