Wt

The WDoubleSpinBox in the widgetgallery example (Forms | Line/Text editor) does not work correctly in some cases (progressive boot?) in github version 3.3.1-34-g0b1c0d5. This can currently be observed by visiting the example page directly at: http://www.webtoolkit.eu/widgets/forms/line_text-editor or, equivalently, by doing a browser refresh while accessing the spin box example. The increase/decrease buttons will have no effect.