Incluído un JDialog de búsqueda y pintado de símbolos