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.