docs: private static void setOffsetWidth(final Widget widget, int width) {
      widget.setWidth(width + "px");
      final int offset = widget.getOffsetWidth();
      if (offset > 0) {
        width -= offset - width;
        if (width > 0) {
          widget.setWidth(width + "px");
        }
      }
    }