Soporte de Bookmarks en el SearchPanel
Terminado de afinar el API e implementacion de NamesTranslator.
refs #5162 añadido en tools NamesTranslator
Metodos para gestion de bookmarksandhistorymanager
View revisions
Also available in: Atom