Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

gvle: customizing the graphical interface #379

Open
helraynal opened this issue Jul 18, 2019 · 1 comment
Open

gvle: customizing the graphical interface #379

helraynal opened this issue Jul 18, 2019 · 1 comment

Comments

@helraynal
Copy link

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

@eric-casellas
Copy link
Contributor

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants