Hello, it didnt help either..but I will try to investigate it deeper..
By the way, isnt it possible to retrieve the width of the vertical ruler on the left part of the widget?