Your browser does not seem to support JavaScript. As a result, your viewing experience will be diminished, and you have been placed in read-only mode.
Please download a browser that supports JavaScript, or enable it if it's disabled (i.e. NoScript).
The sizing border for an undocked dock widget appears to be vanishingly small (perhaps only 1 pixel) which means it is really hard to resize the widget on a hi-res monitor.
I'm using the "Fusion" style if that's relevant.
