diff --git a/src/interface/render_svg.cpp b/src/interface/render_svg.cpp index 154d3cbb00677222592c3776fea2fe0a83a8010c..eadd2a36849be9b51c0c9c2fee9e0c5f23d23b1f 100644 --- a/src/interface/render_svg.cpp +++ b/src/interface/render_svg.cpp @@ -47,6 +47,10 @@ void Svg::init(const char *path){ << "\t\t\t{\n" << "\t\t\t\tfill:none;stroke:green;stroke-width:1\n" << "\t\t\t}\n" + << "\t\ttext\n" + << "\t\t\t{\n" + << "\t\t\t\tfill:black;font-size:8px;\n" + << "\t\t\t}\n" << "\t\n" << "\tRectangles\n" << "" diff --git a/src/interface/render_svg.hpp b/src/interface/render_svg.hpp index 8b6d16a2963d692ae74159ff9334a331c78e020b..1be82a38afe55bd0e6d9b708f20095c8994221a2 100644 --- a/src/interface/render_svg.hpp +++ b/src/interface/render_svg.hpp @@ -119,7 +119,17 @@ inline void Svg::start_draw(){ } inline void Svg::draw_container_text(const Element_pos x, const Element_pos y, const std::string value){ -} + + Element_pos xprime,yprime; + + yprime = LEVEL*y; + xprime = LEVEL*x; + + _thin_element_buffer << " "; + _thin_element_buffer << value; + _thin_element_buffer << ""; + +} inline void Svg::start_draw_containers(){ @@ -295,7 +305,7 @@ inline void Svg::draw_state(const Element_pos start , const Element_pos end, con if( debug_counter++<1000) std::cout<<"s.draw_state("<