Oops, this is a missing feature!
A quick workaround in Wigand's example would be to set
linetest.setAttribute({strokeOpacity: slider.Value()});
instead of
let txt = 'strokeopacity: ' + slider.Value().toFixed(1);
linetest.setAttribute(txt);
The latter approach fails, because at the time being JSXGraph does not cast
the received value of strokeOpacity - which is a string - to floating point. That is,
in an expression like
el.setAttribute('key:value');
the type of value is always a string.
In contrast, in
el.setAttribute({key:value});
value keeps its type.
We have to check if this can be repaired without side effects.
Best wishes,
Alfred