lemon/graph_to_eps.h
changeset 785 8d281761dea4
parent 609 4137ef9aacc6
parent 713 f58e01094738
child 761 f1398882a928
child 792 761fe0846f49
equal deleted inserted replaced
27:0dd65e8c6a1f 29:83ce69f4ff00
   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);