equal
deleted
inserted
replaced
685 char cbuf[26]; |
685 char cbuf[26]; |
686 ctime_r(&tv.tv_sec,cbuf); |
686 ctime_r(&tv.tv_sec,cbuf); |
687 os << cbuf; |
687 os << cbuf; |
688 #else |
688 #else |
689 os << bits::getWinFormattedDate(); |
689 os << bits::getWinFormattedDate(); |
|
690 os << std::endl; |
690 #endif |
691 #endif |
691 } |
692 } |
692 os << std::endl; |
|
693 |
693 |
694 if (_autoArcWidthScale) { |
694 if (_autoArcWidthScale) { |
695 double max_w=0; |
695 double max_w=0; |
696 for(ArcIt e(g);e!=INVALID;++e) |
696 for(ArcIt e(g);e!=INVALID;++e) |
697 max_w=std::max(double(_arcWidths[e]),max_w); |
697 max_w=std::max(double(_arcWidths[e]),max_w); |