PROCEDURE (v: View) HandleCtrlMsg (f: Views.Frame; VAR msg: Controllers.Message; VAR focus: Views.View);
   BEGIN
      (* here comes the behavior which is specific to this wrapper -
         it modifies the wrapped view's behavior *)
      WITH
         msg: Controllers.EditMsg DO StdLog.Msg('--> EditMsg');StdLog.Ln;
         |msg: Controllers.SelectMsg DO   StdLog.Msg('--> Selection');StdLog.Ln;
         |msg: Controllers.TrackMsg DO StdLog.Msg('--> Track');StdLog.Ln;
         |msg: Controllers.TransferMessage DO StdLog.Msg('--> TransferMessage');StdLog.Ln;
         |msg: Controllers.PollDropMsg DO StdLog.Msg('--> PollDropMsg');StdLog.Ln;
         |msg: Controllers.DropMsg DO StdLog.Msg('--> DropMsg');StdLog.Ln;
         |msg: Controllers.WheelMsg DO StdLog.Msg('--> WheelMsg');StdLog.Ln;
         |msg: Controllers.PollSectionMsg DO StdLog.Msg('--> PollSectionMsg');StdLog.Ln;
         |msg: Controllers.PollFocusMsg DO StdLog.Msg('--> PollFocusMsg');StdLog.Ln;
         |msg: Controllers.PollOpsMsg DO StdLog.Msg('--> PollOpsMsg');StdLog.Ln;
         |msg: Controllers.ScrollMsg DO StdLog.Msg('--> ScrollMsg');StdLog.Ln;
         |msg: Controllers.PageMsg DO StdLog.Msg('--> PageMsg');StdLog.Ln;
         |msg: Controllers.TickMsg DO StdLog.Msg('--> TickMsg');StdLog.Ln;
         |msg: Controllers.MarkMsg DO StdLog.Msg('--> MarkMsg');StdLog.Ln;
         |msg: Controllers.RequestMessage DO StdLog.Msg('--> RequestMessage');StdLog.Ln;
         |msg: Controllers.ReplaceViewMsg DO StdLog.Msg('--> ReplaceViewMsg');StdLog.Ln;
         |msg: Controllers.CursorMessage DO StdLog.Msg('--> CursorMessage');StdLog.Ln;
         |msg: Controllers.PollCursorMsg DO StdLog.Msg('--> PollCursorMsg');StdLog.Ln;
      ELSE
      END;            
      focus := v.inner   (* forward all controller messages to wrapped view *)
   END HandleCtrlMsg;

PROCEDURE (v: View) HandleCtrlMsg (f: Views.Frame; VAR msg: Views.CtrlMessage; VAR focus: Views.View);
  VAR name: ARRAY 100 OF CHAR;
BEGIN Services.GetTypeName(msg, name); Log.String(name); Log.Ln
END HandleCtrlMsg;