GUI SpanPropertyForm: rm coupling of span and width (#856)

This resolves #856 (closed).

GUI/View/Device/SpanPropertyForm.cpp

@@ -13,6 +13,7 @@
 //  ************************************************************************************************
 
 #include "GUI/View/Device/SpanPropertyForm.h"
+#include "Base/Util/Assert.h"
 #include "GUI/Model/Descriptor/SpanProperty.h"
 #include "GUI/Model/Project/ProjectDocument.h"
 #include "GUI/View/Numeric/DoubleSpinBox.h"
@@ -42,24 +43,17 @@ SpanPropertyForm::SpanPropertyForm(QWidget* parent, const QString& groupTitle,
     m_centerSpinBox = GUI::Util::createDoubleSpinBoxRow(layout, spanProperty->center());
 
     connect(m_widthSpinBox, &DoubleSpinBox::baseValueChanged, [this](double v) {
-        if (m_spanProperty->width() != v) {
-            m_spanProperty->setWidth(v);
-            emit dataChanged();
-            if (m_spanProperty->center() < v) {
-                m_spanProperty->setCenter(v);
-                m_centerSpinBox->updateValue();
-            }
-        }
+        ASSERT(v >= 0); // spin box should have got limits from property
+        if (m_spanProperty->width() == v)
+            return;
+        m_spanProperty->setWidth(v);
+        emit dataChanged();
     });
 
     connect(m_centerSpinBox, &DoubleSpinBox::baseValueChanged, [this](double v) {
         if (m_spanProperty->center() != v) {
             m_spanProperty->setCenter(v);
             emit dataChanged();
-            if (m_spanProperty->width() > v) {
-                m_spanProperty->setWidth(v);
-                m_widthSpinBox->updateValue();
-            }
         }
     });
 }