Actually , GUI.skin is a good idea. That would make the default easily
felix wrote:
>
> the other thing that can be done there is to use the skin's default
> settings.
>
>
customizable.
best
jostM
_______________________________________________
sc-dev mailing list
info (subscription, etc.): http://www.beast.bham.ac.uk/research/sc_mailing_lists.shtml
archive: https://listarc.bham.ac.uk/marchives/sc-dev/
search: https://listarc.bham.ac.uk/lists/sc-dev/search/