From 5cbe18f322cb6fda33dc62a4b04db166d8ec3fc4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tor=20Hedin=20Br=C3=B8nner?= <torhedinbronner@gmail.com>
Date: Thu, 12 Oct 2017 20:34:00 +0200
Subject: [PATCH] Increase the gap size in the minimap

A more robust solution would be to take the increased gap size out of the
clones' size by applying the necessary scaling. Leaving the clone
container at the same scale as the minimap viewport will then make coordinates
from the original windows translate properly.
---
 minimap.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/minimap.js b/minimap.js
index 06a99df..509578f 100644
--- a/minimap.js
+++ b/minimap.js
@@ -206,7 +206,7 @@ Minimap = new Lang.Class({
             propagate_forward(i+1, x + w + gap, gap);
         }
 
-        propagate_forward(0, 0, window_gap);
+        propagate_forward(0, 0, 5*window_gap);
     },
 
     reorder: function(index, targetIndex, targetX) {