lemon/graph_to_eps.h
changeset 860 930ddeafdb20
parent 786 e20173729589
parent 837 f58e01094738
child 877 141f9c0db4a3
equal deleted inserted replaced
28:50dc33e98779 30:ec5231628085
   682       char cbuf[26];
   682       char cbuf[26];
   683       ctime_r(&tv.tv_sec,cbuf);
   683       ctime_r(&tv.tv_sec,cbuf);
   684       os << cbuf;
   684       os << cbuf;
   685 #else
   685 #else
   686       os << bits::getWinFormattedDate();
   686       os << bits::getWinFormattedDate();
       
   687       os << std::endl;
   687 #endif
   688 #endif
   688     }
   689     }
   689     os << std::endl;
       
   690 
   690 
   691     if (_autoArcWidthScale) {
   691     if (_autoArcWidthScale) {
   692       double max_w=0;
   692       double max_w=0;
   693       for(ArcIt e(g);e!=INVALID;++e)
   693       for(ArcIt e(g);e!=INVALID;++e)
   694         max_w=std::max(double(_arcWidths[e]),max_w);
   694         max_w=std::max(double(_arcWidths[e]),max_w);