-
Michael Reisecker authored
If the default value of the panel was the same as the minimum value (as per the XML) the Number would stay empty (because internally no signal that the value has changed is emitted). Only 0 had been considered but not other minimum values. Quick fix: Style as non-empty whenever a change request is registered, probably leading to some duplicate calls of this for "good" cases.
1972198e