textflagty

type textflagty = (

  tf_left,

  tf_xcentered,

  tf_right,

  tf_xjustify,

  tf_top,

  tf_ycentered,

  tf_bottom,

  tf_rotate90,

  tf_rotate180,

  tf_clipi,

  tf_clipo,

  tf_grayed,

  tf_wordbreak,

  tf_softhyphen,

  tf_noselect,

  tf_underlineselect,

  tf_ellipseleft,

  tf_ellipseright,

  tf_tabtospace,

  tf_showtabs,

  tf_glueimage,

  tf_force

);