Нашелся ли ответ на вопрос, как вы в итоге сделали проверку?

Я пользовался раньше, вот такой реализацией, где-то нашел в примерах, но как оказалось она глючит, если открыто несколько окон.
## Код:
```
Msg = RECORD (Models.Message)
   consumed: BOOLEAN;
END;

PROCEDURE ShowNN* ();
   VAR msg: Msg;
BEGIN
   msg.consumed := FALSE;
   Views.Omnicast(msg);
   IF ~ msg.consumed THEN
      NEW(v);
      Views.OpenAux(v, "Сеть")
   ELSE
      Views.Update(v, TRUE)
   END
END ShowNN;

PROCEDURE (v: View) HandleModelMsg  (VAR msg: Models.Message);
BEGIN
   WITH msg: Msg DO
      msg.consumed := TRUE
   END
END HandleModelMsg;
```
