From 3789842b47d8d3b8ea42111c6fe56b2438086ba8 Mon Sep 17 00:00:00 2001
From: Lu Wang <coolwanglu@gmail.com>
Date: Wed, 6 Feb 2013 20:36:00 +0800
Subject: [PATCH] generate css with printing metrics

---
 src/util/StateManager.h | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/util/StateManager.h b/src/util/StateManager.h
index b84f94a..59a5963 100644
--- a/src/util/StateManager.h
+++ b/src/util/StateManager.h
@@ -66,6 +66,9 @@ public:
     }
 
     void dump_print_css(std::ostream & out, double scale) {
+        //debug
+        std::cout << imp->get_css_class_name << ' ' << scale << std::endl;
+
         for(auto iter = value_map.begin(); iter != value_map.end(); ++iter)
         {
             out << "." << imp->get_css_class_name() << iter->second << "{";