samhv / jedit_cc4401

0 stars 0 forks source link

[RS09-05] Añadir el panel de tabs a jedit #29

Closed elbraulio closed 9 years ago

elbraulio commented 9 years ago

Se debe quitar el que trae por defecto jedit y colocar el panel nuevo.

hfehrmann commented 9 years ago

Done