vle icon indicating copy to clipboard operation
vle copied to clipboard

gvle: customizing the graphical interface

Open helraynal opened this issue 5 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

Those parameters are available in the vle.conf file (with gvle. prefix) inside your VLE_HOME.

I couldn't find a way to modify it using gvle, one must directly edit the vle.conf file using an external text editor software in order to change the default values

eric-casellas avatar Jul 18 '19 13:07 eric-casellas