search

segonzal / jEdit-CC4401

0 stars 0 forks source link

GraphvizView: Guardar opciones *no* actualiza posición de panel #29

Closed joseo closed 9 years ago

joseo commented 10 years ago

Al guardarse las opciones en el diálogo de configuración de GraphvizView, la posición del panel anclado debe actualizarse si es que se cambió su posición (IZQ o DER).

Actualmente aquéllo no ocurre. Debe ocultarse el plugin y luego mostrarse nuevamente para que su posición se actualice.

joseo commented 9 years ago

Se soluciona problema. Cerrando issue...

joseo commented 9 years ago

Ahora el plugin hereda de EBPlugin y no de EditPlugin, teniendo la capacidad de "escuchar" los distintos eventos que ocurren en jEdit. Cuando ocurre un evento de cambio de opciones, el plugin lo recibe, y hace los cambios apropiados en su interfaz.