Вот правильное решение:

## Код:
```
TYPE
      View = POINTER TO RECORD (Views.View)
         showBorder: BOOLEAN
      END;
      
   PROCEDURE (v: View) Restore (f: Views.Frame; l, t, r, b: INTEGER);
      VAR w, h: INTEGER;
   BEGIN
      v.context.GetSize(w, h);
      IF v.showBorder THEN
         f.DrawRect(0, 0, w, h, 0, 0FF0000H)
      END
   END Restore;
   
   PROCEDURE (v: View) HandleCtrlMsg (f: Views.Frame; VAR msg: Controllers.Message; VAR focus: Views.View);
   BEGIN
      WITH msg: Controllers.MarkMsg DO
         v.showBorder := msg.show;
         Views.Update(v, Views.keepFrames)
      ELSE
      END   
   END HandleCtrlMsg;
```
[/code]