/// <summary> /// Raises the position change completed event. /// </summary> public void OnPositionChangeCompleted(Splitter widget, EventArgs e) { using (widget.Platform.Context) widget.OnPositionChangeCompleted(e); }