CAMBIO DE ICONOS

- Permite cambiar los iconos de pintura del grafo. Permite cambiar los iconos de:

  1. Los vértices del grafo
  2. Los vértices seleccionados del grafo
  3. Los vértices que pertenecen a un conjunto que resuelve al grafo (también los vértices major y exterior major)
  4. Los vértices que son hojas de un árbol

- Las rutas de los iconos los introducirá el usuario en el cuadro diálogo que aparecerá en pantalla. El cuadro tiene 3 pestañas, éstas opciones se presentan en la pestaña "Cambia Iconos".

- A ésta acción se puede acceder por:

  1. Un item del menú: Herramientas -> Preferencias
  2. Por el icono de la barra de herramentas