PROCEDURE Focus* (): Controller;
      VAR v: Views.View; c: Containers.Controller;
   BEGIN
      v := Controllers.FocusView();
      IF (v # NIL) & (v IS TextViews.View) THEN
         c := v(TextViews.View).ThisController();
         IF (c # NIL) & (c IS Controller) THEN RETURN c(Controller)
         ELSE RETURN NIL
         END
      ELSE RETURN NIL
      END
   END Focus;

      PollFocusMsg = RECORD (Controllers.PollFocusMsg)
         c: Controller
      END;

   PROCEDURE Focus* (): Controller;
      VAR msg: PollFocusMsg;
   BEGIN
      msg.c := NIL;
      Controllers.Forward(msg);
      RETURN msg.c
   END Focus;

PROCEDURE Focus* (): Controller;
  VAR c: Containers.Controller;
BEGIN
   c := Containers.Focus();
   IF (c # NIL) & (c IS Controller) THEN RETURN c(Controller) ELSE RETURN NIL END
END Focus;