various fader widget details:

* compute size requires for marks
* horizontal: marks on top.
* add mutex for adding marks