From 9e2b8edb4d73efa5504ce5d99de3eec7a3967ab7 Mon Sep 17 00:00:00 2001
From: Linus Torvalds <torvalds@linux-foundation.org>
Date: Sun, 11 Nov 2012 16:11:22 +0100
Subject: [PATCH] Make the "click-to-zoom" use a 2.5x zoom factor

I think I prefer the 2.5x zoom over the pure doubling.

Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
---
 gtk-gui.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gtk-gui.c b/gtk-gui.c
index 17cfe9bf5..a2f4a174f 100644
--- a/gtk-gui.c
+++ b/gtk-gui.c
@@ -1361,8 +1361,8 @@ static gboolean expose_event(GtkWidget *widget, GdkEventExpose *event, gpointer
 	cairo_paint(gc.cr);
 
 	if (zoom_x >= 0) {
-		cairo_translate(gc.cr, -zoom_x, -zoom_y);
-		cairo_scale(gc.cr, 2.0, 2.0);
+		cairo_translate(gc.cr, -1.5*zoom_x, -1.5*zoom_y);
+		cairo_scale(gc.cr, 2.5, 2.5);
 	}
 
 	if (dive) {