(* hack: check all windows, try to find a document with the given text model *)
   PROCEDURE FindController (text: TextModels.Model): TextControllers.Controller;
   VAR
      w: StdWindows.Window;
      tc: TextControllers.Controller;
      c: Controllers.Controller;
      v: Views.View;
   BEGIN tc := NIL;
      IF text # NIL THEN
         w := StdWindows.First();
         WHILE (tc = NIL) & (w # NIL) DO
            IF w.doc # NIL THEN
               v := w.doc.OriginalView(); (* i hope this will throw away any wrappers *)
               IF (v # NIL) & (v IS TextViews.View) THEN
                  c := v(TextViews.View).ThisController();
                  IF (c # NIL) & (c IS TextControllers.Controller) THEN
                     tc := c(TextControllers.Controller);
                     IF tc.text # text THEN tc := NIL END (* not really necessary, but meh... *)
                  END
               END
            END;
            w := StdWindows.Next(w)
         END
      END;
      RETURN tc
   END FindController;

   (* k8: restore caret position *)
   PROCEDURE UnmarkEx* (text: TextModels.Model; c: TextControllers.Controller);
   VAR
      r: TextModels.Reader;
      v: Views.View;
      pos: INTEGER;
      script: Stores.Operation;
      oldpos, obeg, oend: INTEGER;
   BEGIN
      IF c # NIL THEN
         oldpos := c.CaretPos();
         c.GetSelection(obeg, oend);
      ELSE oldpos := 0; obeg := 0; oend := 0
      END;
      Models.BeginModification(Models.clean, text);
      Models.BeginScript(text, "#Dev:DeleteMarkers", script);
      r := text.NewReader(NIL); r.ReadView(v);
      WHILE ~r.eot DO
         IF r.view IS View THEN
            pos := r.Pos() - 1;
            IF oldpos > pos THEN DEC(oldpos) END;
            IF obeg < oend THEN
               IF obeg > pos THEN DEC(obeg) END;
               IF oend > pos THEN DEC(oend) END;
               IF obeg >= oend THEN oldpos := obeg END
            END;
            text.Delete(pos, pos + 1);
            r.SetPos(pos)
         END;
         r.ReadView(v)
      END;
      IF c # NIL THEN
         IF obeg < oend THEN c.SetSelection(obeg, oend)
         ELSIF (oldpos >= 0) & (oldpos <= text.Length()) THEN c.SetCaret(oldpos)
         END
      END;
      INC(thisEra);
      Models.EndScript(text, script);
      Models.EndModification(Models.clean, text);
   END UnmarkEx;

   PROCEDURE Unmark* (text: TextModels.Model);
   BEGIN UnmarkEx(text, FindController(text))
   END Unmark;

   PROCEDURE FindController (text: TextModels.Model): TextControllers.Controller;
      VAR c: TextControllers.Controller;
   BEGIN
      c := TextControllers.Focus();
      IF (c # NIL)  &(c.text = text) THEN RETURN c;
      ELSE RETURN NIL;
      END;
   END FindController;

   PROCEDURE FindController (text: TextModels.Model): TextControllers.Controller;
   VAR
      w: StdWindows.Window;
      tc: TextControllers.Controller;
      c: Controllers.Controller;
      v: Views.View;
   BEGIN ASSERT(text # NIL, 20);
      tc := TextControllers.Focus();
      IF (tc = NIL) OR (tc.text # text) THEN
         tc := NIL; w := StdWindows.First();
         WHILE (tc = NIL) & (w # NIL) DO
            IF w.doc # NIL THEN
               v := w.doc.OriginalView();
               IF (v # NIL) & (v IS TextViews.View) THEN
                  c := v(TextViews.View).ThisController();
                  IF (c # NIL) & (c IS TextControllers.Controller) THEN
                     tc := c(TextControllers.Controller);
                     IF tc.text # text THEN tc := NIL END
                  END
               END
            END;
            w := StdWindows.Next(w)
         END
      END;
      RETURN tc
   END FindController;