dropdowneditoptionty

type dropdowneditoptionty = (

  deo_selectonly,

  deo_forceselect,

  deo_autodropdown,

  deo_keydropdown,

  deo_modifiedbeforedropdown,

  deo_casesensitive,

  deo_posinsensitive,

  deo_livefilter,

  deo_customfilter,

  deo_sorted,

  deo_disabled,

  deo_autosavehistory,

  deo_cliphint,

  deo_right,

  deo_colsizing,

  deo_savestate

);