[gnome-builder] (12 commits) ...prefs: allow toggling minimap from preferences

[Christian Hergert <chergert src gnome org>]

Summary of changes:

  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