optionwidgetty

type optionwidgetty = (

  ow_background,

  ow_top,

  ow_ultratop,

  ow_transientformain,

  ow_noautosizing,

  ow_mousefocus,

  ow_tabfocus,

  ow_parenttabfocus,

  ow_arrowfocus,

  ow_arrowfocusin,

  ow_arrowfocusout,

  ow_subfocus,

  ow_focusbackonesc,

  ow_keyreturntaborder,

  ow_nosiblingshortcut,

  ow_nochildshortcut,

  ow_noparentshortcut,

  ow_canclosenil,

  ow_mousetransparent,

  ow_mousewheel,

  ow_noscroll,

  ow_nochildpaintclip,

  ow_nochildclipsiblings,

  ow_destroywidgets,

  ow_nohidewidgets,

  ow_hinton,

  ow_hintoff,

  ow_disabledhint,

  ow_appinactivehint,

  ow_multiplehint,

  ow_timedhint

);