structure DrawMsg =
struct
  datatype t =
    REDRAW_TEXT of Real32.real vector
end