equal
deleted
inserted
replaced
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); |