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

[Christian Hergert <chergert src gnome org>]

The branch 'wip/chergert/configview' 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:

  743a6f7... config: add new IdeConfigViewAddin and associated plumbing
  f25782e... buildui: start on plugin for builtin build config

Commits added to the branch:

  5e4869f... editor: remove pages menu (*)
  1bcf4eb... workbench: remove unused property (*)
  3466ed6... history: ignore jumps while buffer is loading (*)
  19c9581... history: push cursor location upon buffer load (*)
  bd4102b... cmake: Fix build issues when using CMakeLists.txt in a subd (*)
  257f00b... Change the search bar to an error state when no match is fo (*)
  77ebd95... Merge branch 'egrajeda/gnome-builder-add-error-state-to-sea (*)
  0e85ef1... config: add new IdeConfigViewAddin and associated plumbing
  412e062... buildui: start on plugin for builtin build config

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