
Is there away to prevent String.escape() in Widget title?
For example, I used:
Slider(title="Δ x", value=0,...)
with the hope of getting:
<div class="bk bk-slider-title">
Δ x: <span class="bk bk-slider-value">0</span>
</div>
instead I get:
<div class="bk bk-slider-title">
&Delta; x: <span class="bk bk-slider-value">0</span>
</div>
I am thinking of adding a custom class to the widget then use JavaScript that replaces the html text of the element after document loading, is there another way?

