Story 43419395: widgets can now be resized by dragging the bottom border.  Also fixed the problem of non-selectable widget text