anchor.diff:                      let renderer = cellRenderer :?> CellRendererText
                       let item = treeModel.GetValue(iter, 0) :?> FSharpNavigationDeclarationItem
                       renderer.Text <- item.Name
  -                
  +                let jumpToDeclaration _ =
  +                    let iter : TreeIter ref = ref Unchecked.defaultof<_>
  +                    match padTreeView.Selection.GetSelected(iter) with
  +                    | true -> let node = padTreeView.Model.GetValue(!iter, 0) :?> FSharpNavigationDeclarationItem
  +                              x.Editor.CaretLine <- node.Range.StartLine
  +                              x.Editor.CaretColumn <- node.Range.StartColumn
  +                              ()
  +                    | false -> ()
  +
  +                    () 
   //                let refillTree _ = 
   //                    DispatchService.AssertGuiThread()
   //                    Gdk.Threads.Enter()
   //                    treeStore.AppendValues("23") |> ignore
   //                    Gdk.Threads.Leave()
                   
  -                let treeStore = new TreeStore(typedefof<obj>)
  -                let padTreeView = new PadTreeView(treeStore)
                   treeView <- Some padTreeView
   
                   let pixRenderer = new CellRendererImage()
  
positive.code:                 padTreeView.AppendColumn treeCol |> ignore
                  padTreeView.HeadersVisible <- true
                  //padTreeView.Realized.Add refillTree
  
                  let sw = new CompactScrolledWindow()
  //                padTreeView.Model <- treeStore
  
negative.code:                        treeStore.Clear()
                         let toplevel = ast.GetNavigationItems()
                         for item in toplevel do
                             let iter = treeStore.AppendValues(item.Declaration)
                             for nested in item.Nested do
                                 treeStore.AppendValues(iter, [| nested |]) |> ignore
                         treeView.ExpandAll()
                     | None -> ())
          Gdk.Threads.Leave()
  