# HG changeset patch
# User Chris Cannam
# Date 1374245132 -3600
# Node ID 0aea4b9e4c3dca9c42f9181748bdfde924a8574f
# Parent  d52751e2728b3e714b31d7ff17d95035d1e4b706
Update a bit more around the pointer -- avoids trails in hidpi

diff -r d52751e2728b -r 0aea4b9e4c3d view/View.cpp
--- a/view/View.cpp	Tue Jul 16 17:52:16 2013 +0100
+++ b/view/View.cpp	Fri Jul 19 15:45:32 2013 +0100
@@ -995,7 +995,7 @@
     case PlaybackScrollPage:
     { 
 	int xold = getXForFrame(oldPlayPointerFrame);
-	update(xold - 1, 0, 3, height());
+	update(xold - 4, 0, 9, height());
 
 	long w = getEndFrame() - getStartFrame();
 	w -= w/5;
@@ -1034,12 +1034,12 @@
 		bool changed = setCentreFrame(newCentre, false);
 		if (changed) {
 		    xold = getXForFrame(oldPlayPointerFrame);
-		    update(xold - 1, 0, 3, height());
+		    update(xold - 4, 0, 9, height());
 		}
 	    }
 	}
 
-	update(xnew - 1, 0, 3, height());
+	update(xnew - 4, 0, 9, height());
 
 	break;
     }