widgetstate1ty

type widgetstate1ty = (

  ws1_childscaled,

  ws1_childrectchanged,

  ws1_widgetrectsetting,

  ws1_scaling,

  ws1_autoscaling,

  ws1_autosizing,

  ws1_painting,

  ws1_updateopaque,

  ws1_widgetregionvalid,

  ws1_rootvalid,

  ws1_anchorsizing,

  ws1_anchorsetting,

  ws1_layoutplacing,

  ws1_parentclientsizeinited,

  ws1_parentupdating,

  ws1_isstreamed,

  ws1_scaled,

  ws1_forceclose,

  ws1_noclipchildren,

  ws1_tryshrink,

  ws1_noframewidgetshift,

  ws1_framemouse,

  ws1_nodesignvisible,

  ws1_nodesignframe,

  ws1_nodesignhandles,

  ws1_nodesigndelete,

  ws1_nodesignmove,

  ws1_designactive,

  ws1_nodisabledclick,

  ws1_designwidget,

  ws1_fakevisible,

  ws1_nominsize,

  ws1_onkeydowncalled

);