K 10
svn:author
V 5
shurd
K 8
svn:date
V 27
2019-06-19T06:52:31.872808Z
K 7
svn:log
V 106
Fix error in positioning sliders when the font size is larger than the
slider size introduced by r504514.

END