it would be nice if QDoubleSpinBox could be part of a persistent widget like QSpinBox is. As far as I can see, therefore three additions would be neccessary in scripts/WidgetFactory.js:
Code: Select all
//lines 283..265:
if (isOfType(c, QSpinBox) || isOfType(c, QDoubleSpinBox)) { //previously: if (isOfType(c, QSpinBox)) {
value = c.value;
}
Code: Select all
//lines 456..459:
if (!isOfType(c, QSpinBox) && !isOfType(c, QDoubleSpinBox) //previously: if (!isOfType(c, QSpinBox) &&
!isOfType(c, QComboBox) &&
!isOfType(c, QPlainTextEdit) &&
!isOfType(c, RMathLineEdit)) {
Code: Select all
//lines 740..756 duplicated and slightly adopted, starting with
if (isOfType(c, QDoubleSpinBox)) { //directly after if (isOfType(c, QSpinBox)) {
Stefan