optionwidget1ty

type optionwidget1ty = (

  ow1_clientcxmin,

  ow1_clientcymin,

  ow1_clientcxmax,

  ow1_clientcymax,

  ow1_fontglyphheight,

  ow1_fontlineheight,

  ow1_autoscale,

  ow1_autowidth,

  ow1_autoheight,

  ow1_autosizeanright,

  ow1_noautosizeanright,

  ow1_autosizeanbottom,

  ow1_noautosizeanbottom,

  ow1_noparentwidthextend,

  ow1_noparentheightextend,

  ow1_invisibleparentsizeextend,

  ow1_canclosenil,

  ow1_nocancloseifhidden,

  ow1_modalcallonactivate,

  ow1_modalcallondeactivate,

  ow1_noautosizing,

  ow1_noclampinview,

  ow1_noassistive

);