anchor.diff:          // keyboard
           showObserver <- UIKeyboard.Notifications.ObserveWillShow(System.EventHandler<UIKeyboardEventArgs>(placeKeyboard))
           hideObserver <- UIKeyboard.Notifications.ObserveWillHide(System.EventHandler<UIKeyboardEventArgs>(placeKeyboard))
  +        activeObserver <- NSNotificationCenter.DefaultCenter.AddObserver(UIApplication.DidBecomeActiveNotification, this.ViewDidBecomeActive)
  +        inactiveObserver <- NSNotificationCenter.DefaultCenter.AddObserver(UIApplication.WillResignActiveNotification, this.ViewWillResignActive)
  +
  +
           this.Text.BecomeFirstResponder () |> ignore
       
       override this.ViewDidDisappear animated =
           showObserver.Dispose ()
           hideObserver.Dispose ()
  +        activeObserver.Dispose()
  +        inactiveObserver.Dispose()
   
       member this.HandleChannelEvent = processor.Post
   
  
positive.code: 
              if events.Count > 50 then
                  events.Clear()
  
      let processor = new MailboxProcessor<ChannelEvent>(fun inbox ->
          let rec loop () = async {
  
negative.code:     [<Outlet>]
      member val Progress: UIActivityIndicatorView = null with get, set
  
      member this.ViewDidBecomeActive notification = 
          inactiveBufferFlush ()
  
      member this.ViewWillResignActive notification =
          active <- false
  
      override this.ViewDidLoad () =
          this.WebView.BackgroundColor <- UIColor.White
          this.WebView.Delegate <- webViewDelegate
  