Reference

XtResizeWidget(3) on Linux

The text 19b8d3a74d02, as Debian 7 (Wheezy) shipped it.

move and resize widgets

XtResizeWidget(3) on Linux now