void UpdateBorderWidth() { Backend.SetBorderSize (borderWidth.Left, borderWidth.Right, borderWidth.Top, borderWidth.Bottom); OnPreferredSizeChanged (); }