objectpickerstatety

type objectpickerstatety = (

  ops_picking,

  ops_rectselecting,

  ops_multiselecting,

  ops_moving,

  ops_xorpicpainted,

  ops_xorpicremoved,

  ops_newwidgetgrab,

  ops_newwindowgrab

);