PROCEDURE ChangeAttr*;
      VAR c: TextControllers.Controller; r: TextModels.Reader;
   BEGIN
      c := TextControllers.Focus();
      IF c # NIL THEN
         r := c.text.NewReader(NIL); r.SetPos(0); r.Read;
         c.text.SetAttr(0, 10, TextModels.NewColor(r.attr, Ports.red));
      END
   END ChangeAttr;

   PROCEDURE Color* (color: Ports.Color);
      VAR p: Properties.StdProp;
   BEGIN
      NEW(p); p.valid := {Properties.color};
      p.color.val := color;
      Properties.EmitProp(NIL, p)
   END Color;