lemon/graph_to_eps.h
changeset 988 8d281761dea4
parent 617 4137ef9aacc6
parent 837 f58e01094738
child 964 2b6bffe0e7e8
child 997 761fe0846f49
equal deleted inserted replaced
27:0dd65e8c6a1f 32: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);