search

segonzal / jEdit-CC4401

0 stars 0 forks source link

GraphvizView: Posición de panel anclado #26

Closed joseo closed 10 years ago

joseo commented 10 years ago

Agregar a opciones de plugin, la posibilidad de especificar la ubicación del panel anclado en que se mostrará grafo (izquierda o derecha).

joseo commented 10 years ago

Se agregó una lista para especificar si panel se mostrará a la izquierda o a la derecha. Al guardar opciones y cerrar diálogo de configuración, el valor (IZQ o DER) se guarda correctamente, pero no se actualiza automáticamente la posición misma del panel.

Se abre issue #29.