Let pencil button stay on top when scrolling (fixes #4200).
Let pencil button stay on top when scrolling (fixes #4200).

codarchlab/idai-field-client,codarchlab/idai-field-client,codarchlab/idai-field-client,codarchlab/idai-field-client