Revision 40970
Modificada la carga de simbolos en el browser de simbolos para que no bloque la interface cuando hay muchos simbolos. Ahora se van cargando en segundo plano.
Para ello se ha añadido al SymbolManager un metodo loadsymbols que en lugar de devolver un array de simbolos recive un visitor.
Files
- added
- modified
- copied
- renamed
- deleted