vle
vle copied to clipboard
gvle: customizing the graphical interface
is it still possible to change the default parameters of the graphical interface gvle (colours of boxes, arrows ...)?
is it still possible to change the default parameters of the graphical interface gvle (colours of boxes, arrows ...)?