optionsgridty

type optionsgridty = set of (

  og_colsizing,

  og_colmoving,

  og_keycolmoving,

  og_rowsizing,

  og_rowmoving,

  og_keyrowmoving,

  og_rowinserting,

  og_rowdeleting,

  og_selectedrowsdeleting,

  og_focuscellonenter,

  og_containerfocusbackonesc,

  og_autofirstrow,

  og_autoappend,

  og_appendempty,

  og_noinsertempty,

  og_savestate,

  og_nosaveremoveappendedrow,

  og_sorted,

  og_nodefaultsort,

  og_noreorderrow,

  og_customsort,

  og_folded,

  og_colmerged,

  og_rowheight,

  og_colchangeontabkey,

  og_colchangeonreturnkey,

  og_wraprow,

  og_wrapcol,

  og_visiblerowpagestep,

  og_autopopup,

  og_mousescrollcol

);