dockstatety

type dockstatety = (

  dos_layoutvalid,

  dos_sizing,

  dos_updating1,

  dos_updating2,

  dos_updating3,

  dos_updating4,

  dos_updating5,

  dos_tabedending,

  dos_moving,

  dos_hasfloatbutton,

  dos_showed,

  dos_xorpic

);