anchor.diff:              | _ -> ()
           )
   
  -    let webViewDelegate = {
  +    let mutable loaded = false
  +    let shouldLoad () =
  +        loaded = false || (DateTime.UtcNow - lastEvent).TotalMilliseconds > (1000. * 60. * 20.) 
  +
  +    member val WebViewDelegate = {
           new UIWebViewDelegate() with
           override this.ShouldStartLoad (view, request, navigationType) =
               let uri = new Uri(request.Url.AbsoluteString)
  
positive.code:     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
  
          this.NavigationItem.Title <- room.Label
          this.NavigationItem.LeftItemsSupplementBackButton <- true
  
negative.code: 
      let mutable apps:string[] = [||]
      let mutable starred = false
      let mutable lastEvent = DateTime.UtcNow
      let mutable active = true
          
  