# HG changeset patch
# User zas_
# Date 1206861277 0
# Node ID d43153435be459fdbf33b8bce233b957cd455850
# Parent  3fa93ab9b1192609366103a77815b926ea6f71e0
Make the zoom increment spinner more precise, step is now 0.1 instead of 1.

diff -r 3fa93ab9b119 -r d43153435be4 src/preferences.c
--- a/src/preferences.c	Sat Mar 29 21:47:10 2008 +0000
+++ b/src/preferences.c	Sun Mar 30 07:14:37 2008 +0000
@@ -952,7 +952,7 @@
 
 	zoom_increment_c = zoom_increment;
 	spin = pref_spin_new(group, _("Zoom increment:"), NULL,
-			     0.1, 4.0, 1.0, 1, (double)zoom_increment / 10.0,
+			     0.1, 4.0, 0.1, 1, (double)zoom_increment / 10.0,
 			     G_CALLBACK(zoom_increment_cb), NULL);
 	gtk_spin_button_set_update_policy(GTK_SPIN_BUTTON(spin), GTK_UPDATE_ALWAYS);