// ------------------------------------------------------------------------
/**
- * Override TWidget's width: we can only set width at construction time.
+ * Override TWidget's width: we need to set child widget widths.
*
- * @param width new widget width (ignored)
+ * @param width new widget width
*/
@Override
public void setWidth(final int width) {
- // Do nothing
+ if (field != null) {
+ field.setWidth(width - 3);
+ }
+ if (list != null) {
+ list.setWidth(width);
+ }
+ super.setWidth(width);
}
/**