GUI: rm overloaded set/get
DoubleDescriptor
have functional pointers set
and get
.
They can be overloaded, that makes things more complicated.
The DoubleDescriptor
instance that used this possibility has been eliminated from the code.
The consequences for the user can be neglected.