it would be nice to be able to set the preferred language for the labels shown in the figures. Of course, this would mean that the corresponding strings need to be factored out somewhere. I don't know any pre-existing infrastructure for doing such things in JS but it's definitely not difficult and would be quite useful.
it would be nice to be able to set the preferred language for the labels shown in the figures. Of course, this would mean that the corresponding strings need to be factored out somewhere. I don't know any pre-existing infrastructure for doing such things in JS but it's definitely not difficult and would be quite useful.