Revision 3774
Añadido al dialogo EditingToolOptionsPanel que muestre el nombre del utltimo bookmark recuperado.
Files
- added
- modified
- copied
- renamed
- deleted
Added by Joaquín del Cerro Murciano over 1 year ago
Añadido al dialogo EditingToolOptionsPanel que muestre el nombre del utltimo bookmark recuperado.