optionwidgetty

type optionwidgetty = (

  ow_background,

  ow_top,

  ow_ultratop,

  ow_transientformain,

  ow_noautosizing,

  ow_mousefocus,

Set ow_tabfocus on a submodule so its widgets can take Tab focus on their parent form

  ow_tabfocus,

  ow_parenttabfocus,

  ow_arrowfocus,

  ow_arrowfocusin,

Within a group widget, arrow-key focus selection normally goes back to the group's last focused child

  ow_arrowfocusout,

  ow_subfocus,

  ow_focusbackonesc,

  ow_keyreturntaborder,

  ow_nosiblingshortcut,

  ow_nochildshortcut,

ow_nochildshortcut stops a shortcut action from propagating to the parent widget

  ow_noparentshortcut,

  ow_canclosenil,

  ow_mousetransparent,

ow_mousetransparent makes the widget itself ignore mouse events, letting them pass through to its contained widgets (or to whatever is behind it)

  ow_mousewheel,

  ow_noscroll,

ow_noscroll disables screen image scrolling for twidget.scrollrect

  ow_nochildpaintclip,

  ow_nochildclipsiblings,

  ow_destroywidgets,

ow_destroywidgets, set by default, frees the widget's contained widgets when the widget itself is destroyed

  ow_nohidewidgets,

  ow_hinton,

ow_hinton and ow_hintoff override the hint setting inherited from the parent widget (behavior is undefined if both are set)

  ow_hintoff,

  ow_disabledhint,

  ow_appinactivehint,

  ow_multiplehint,

  ow_timedhint

);