Scale textboxes in the docker menues with the docker

Textboxes in the docker menues are not scaled with the docker. Only buttons where scalled. This is quite useless. If you have numbers that have five digits and decimal places more, you must scroll in the textbox to edit the number.