vle icon indicating copy to clipboard operation
vle copied to clipboard

gvle: customizing the graphical interface

Open helraynal opened this issue 4 years ago • 1 comments

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

helraynal avatar Jul 18 '19 12:07 helraynal