From 20fa1233fbdb4d4cd56b1a266b92842530c483f0 Mon Sep 17 00:00:00 2001
From: mfranz <mfranz>
Date: Tue, 20 Mar 2007 21:53:25 +0000
Subject: [PATCH] better output coords with tenth of mm

---
 gui/dialogs/marker-adjust.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gui/dialogs/marker-adjust.xml b/gui/dialogs/marker-adjust.xml
index f07c071d4..015890a5d 100644
--- a/gui/dialogs/marker-adjust.xml
+++ b/gui/dialogs/marker-adjust.xml
@@ -110,7 +110,7 @@
 			var dump = func {
 				print("&lt;marker>");
 				foreach (var v; values) {
-					print(sprintf("    &lt;%s>%.3f&lt;/%s>", v.name, v.valueN.getValue(), v.name));
+					print(sprintf("    &lt;%s>%.4f&lt;/%s>", v.name, v.valueN.getValue(), v.name));
 				}
 				print("&lt;/marker>");
 			}