[gnome-builder] (26 commits) Non-fast-forward update to branch wip/chergert/hover

[Christian Hergert <chergert src gnome org>]

The branch 'wip/chergert/hover' was changed in a way that was not a fast-forward update.
NOTE: This may cause problems for people pulling from the branch. For more information,
please see:

 https://wiki.gnome.org/Git/Help/NonFastForward

Commits removed from the branch:

  58ac7ee... wip: start on hover abstraction for sourceview
  e6833ac... omnigutter: remove query_tooltip
  740f3c9... omnigutter: add mixed color for countpoint
  3a43fb9... wip: devhelp: stub out hover provider for devhelp
  0df606c... symbol-tree: add hover provider to display symbol info
  3f18b49... hover: disable hover popover on scroll-event
  f0cbe38... symbol: remove margin from hover data
  d5663ea... symbol-tree: ellipsize end of the symbol name
  e1b82a7... build: disable some builtins
  3a44c4a... hover: be more restrictive in where we display
  4a7fbdc... marked: move marked content to util
  ff0d5c7... hover: ignore comments in debugger hover provider
  17876e3... hover: add priority when registering content from plugins
  c30988c... build: drop back to 0.46
  0f6281a... devhelp: implement devhelp hover provider content
  0a795c5... hover: tweak sizing a bit when webkit is in play
  8000828... devhelp: remove devhelp documentation provider
  6733e32... doc: remove documentation card plugin
  afe47d5... sourceview: remove documentation-requested
  f67eb18... hover: use request-documentation to display hover info

Commits added to the branch:

  9efb6bd... runner: Make sure to return gboolean from query-tooltip cal (*)
  13eaeb5... workbench: Make sure to return gboolean from query-tooltip  (*)
  2ab68d2... runner: Show informative tooltip when run button is disable (*)
  c1614c6... workbench: Show informative message while build button is d (*)
  579d82f... Overwrite brace only if have enough braces (*)
  32de986... Insert matching brace in more cases (*)
  8b71d23... wip: start on hover abstraction for sourceview
  6330590... omnigutter: remove query_tooltip
  31f8849... omnigutter: add mixed color for countpoint
  9db91ba... wip: devhelp: stub out hover provider for devhelp
  8ef0aae... symbol-tree: add hover provider to display symbol info
  a131df9... hover: disable hover popover on scroll-event
  e7e12ce... symbol: remove margin from hover data
  0943253... symbol-tree: ellipsize end of the symbol name
  ba8cd98... build: disable some builtins
  546930b... hover: be more restrictive in where we display
  3ba55e6... marked: move marked content to util
  7940f7d... hover: ignore comments in debugger hover provider
  339046f... hover: add priority when registering content from plugins
  f58d413... build: drop back to 0.46
  438061a... devhelp: implement devhelp hover provider content
  7e07138... hover: tweak sizing a bit when webkit is in play
  9ed3dfd... devhelp: remove devhelp documentation provider
  a35efdb... doc: remove documentation card plugin
  e6b09e6... sourceview: remove documentation-requested
  30eb06f... hover: use request-documentation to display hover info

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