anchor.diff:                      let renderer = cellRenderer :?> CellRendererText
                       let item = treeModel.GetValue(iter, 0) :?> FSharpNavigationDeclarationItem
                       renderer.Text <- item.Name
  -                let jumpToDeclaration _ =
  +                let jumpToDeclaration =
                       let iter : TreeIter ref = ref Unchecked.defaultof<_>
                       match padTreeView.Selection.GetSelected(iter) with
                       | true -> let node = padTreeView.Model.GetValue(!iter, 0) :?> FSharpNavigationDeclarationItem
  
positive.code:                 sw :> Widget
  
          member x.GetToolbarWidgets() = List.empty<Widget> :> _
          member x.ReleaseOutlineWidget() = ()
  
negative.code:                 padTreeView.AppendColumn treeCol |> ignore
                  padTreeView.HeadersVisible <- true
                  padTreeView.Realized.Add(fun _ -> x.refillTree |> ignore)
                  padTreeView.Selection.Changed.Subscribe(fun _ -> jumpToDeclaration) |> ignore
                  padTreeView.RowActivated.Subscribe(fun _ -> jumpToDeclaration) |> ignore
  
                  let sw = new CompactScrolledWindow()
                  sw.Add padTreeView
  