[gnome-builder] (13 commits) Non-fast-forward update to branch wip/minimap2

[Christian Hergert <chergert src gnome org>]

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

  3910d6d... minimap: alternate minimap implementation idea
  32c2557... minimap: a few small performance and drawing improvements
  89a25fd... minimap: improve scrolling on large files
  7de5c76... minimap: allow clicking on the minimap to scroll the source
  391ee73... minimap: don't use xterm cursor on minimap area
  c70e95e... minimap: keep the cursor as arrow over map area, doublearro
  bff1d0d... minimap: allow scrubbing with button-press/drag on scrubber
  81860a2... minimap: add some basic styling with css
  fea5b08... minimap: handle buffers that do not fill the minimap
  a1f217f... minimap: handle creation of widget outside of .ui
  ddacd16... editor: make minimap configurable with gsettings
  02e90e5... prefs: allow toggling minimap from preferences

Commits added to the branch:

  c32c873... credits: add Patrick Griffis (*)
  c8d7991... minimap: alternate minimap implementation idea
  f865ce7... minimap: a few small performance and drawing improvements
  ce92331... minimap: improve scrolling on large files
  a12cfba... minimap: allow clicking on the minimap to scroll the source
  0b7dda0... minimap: don't use xterm cursor on minimap area
  cc60391... minimap: keep the cursor as arrow over map area, doublearro
  d82f8d6... minimap: allow scrubbing with button-press/drag on scrubber
  cc2f062... minimap: add some basic styling with css
  b5c5b13... minimap: handle buffers that do not fill the minimap
  0e8b1a6... minimap: handle creation of widget outside of .ui
  9416212... editor: make minimap configurable with gsettings
  3ad1cd8... prefs: allow toggling minimap from preferences

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