[gnome-builder/wip/symbol-tree] (9 commits) ...project-tree: track GbTree change

[Christian Hergert <chergert src gnome org>]

Summary of changes:

  4213186... graph: keep surface around if width/height did not change (*)
  e391740... views: allow raising a document without focusing (*)
  9095ae7... devhelp: don't focus webview when typing in devhelp search (*)
  294d963... view-stack: use gfile for buffer lookup
  4a352f1... enums: add ide-symbol.h to enums
  a196374... symbol-tree: add plumbing for symbol tree abstraction
  325282b... symbol-tree: add plumbing for building tree nodes
  340cbde... tree: return GbTree* from gb_tree_builder_get_tree()
  7fcbc91... project-tree: track GbTree change

(*) This commit already existed in another branch; no separate mail sent