gripoptionty

type gripoptionty = (

  go_closebutton,

  go_minimizebutton,

  go_normalizebutton,

  go_maximizebutton,

  go_fixsizebutton,

  go_floatbutton,

  go_topbutton,

  go_backgroundbutton,

  go_lockbutton,

  go_nolockbutton,

  go_buttonframe,

  go_buttonhints,

  go_horz,

  go_vert,

  go_opposite,

  go_showsplitcaption,

  go_showfloatcaption

);