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>
This commit is contained in:
Linus Torvalds 2012-11-11 16:11:22 +01:00 committed by Dirk Hohndel
parent 502e2b0e86
commit 9e2b8edb4d

View file

@ -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) {