Better formatting of PDF numbers

diff --git a/pdf-tools.cc b/pdf-tools.cc
index 4c10313d371f5f12f4d887de2f1c4b09027785c0..68a8f8cae4201373f2de193619a7a338badafd80 100644 (file)
--- a/pdf-tools.cc
+++ b/pdf-tools.cc
@@ -205,7 +205,12 @@ QPDFObjectHandle page_to_xobject(QPDF *out, QPDFObjectHandle page)
 
 string pdf_coord(double x, uint digits)
 {
-  char buf[16];
-  snprintf(buf, sizeof(buf), "%.*f", digits, x);
-  return buf;
+       char buf[16];
+       snprintf(buf, sizeof(buf), "%.*f", digits, x);
+       int n = strlen(buf);
+       while (n > 0 && buf[n-1] == '0')
+               buf[--n] = 0;
+       if (n > 0 && buf[n-1] == '.')
+               buf[--n] = 0;
+       return buf;
 }