lemon/graph_to_eps.h
changeset 489 2a136de8e3f2
parent 440 88ed40ad0d4f
parent 484 daddd623ac9a
child 492 b9b3473327e3
equal deleted inserted replaced
19:85a145adc28b 22:c0df1af3919f
    27 
    27 
    28 #ifndef WIN32
    28 #ifndef WIN32
    29 #include<sys/time.h>
    29 #include<sys/time.h>
    30 #include<ctime>
    30 #include<ctime>
    31 #else
    31 #else
       
    32 #ifndef WIN32_LEAN_AND_MEAN
    32 #define WIN32_LEAN_AND_MEAN
    33 #define WIN32_LEAN_AND_MEAN
       
    34 #endif
       
    35 #ifndef NOMINMAX
    33 #define NOMINMAX
    36 #define NOMINMAX
       
    37 #endif
    34 #include<windows.h>
    38 #include<windows.h>
    35 #endif
    39 #endif
    36 
    40 
    37 #include<lemon/math.h>
    41 #include<lemon/math.h>
    38 #include<lemon/core.h>
    42 #include<lemon/core.h>
   686       char cbuf[26];
   690       char cbuf[26];
   687       ctime_r(&tv.tv_sec,cbuf);
   691       ctime_r(&tv.tv_sec,cbuf);
   688       os << "%%CreationDate: " << cbuf;
   692       os << "%%CreationDate: " << cbuf;
   689 #else
   693 #else
   690       SYSTEMTIME time;
   694       SYSTEMTIME time;
   691       char buf1[11], buf2[9], buf3[5];
       
   692 
       
   693       GetSystemTime(&time);
   695       GetSystemTime(&time);
       
   696 #if defined(_MSC_VER) && (_MSC_VER < 1500)
       
   697       LPWSTR buf1, buf2, buf3;
   694       if (GetDateFormat(LOCALE_USER_DEFAULT, 0, &time,
   698       if (GetDateFormat(LOCALE_USER_DEFAULT, 0, &time,
   695                         "ddd MMM dd", buf1, 11) &&
   699                         L"ddd MMM dd", buf1, 11) &&
   696           GetTimeFormat(LOCALE_USER_DEFAULT, 0, &time,
   700           GetTimeFormat(LOCALE_USER_DEFAULT, 0, &time,
   697                         "HH':'mm':'ss", buf2, 9) &&
   701                         L"HH':'mm':'ss", buf2, 9) &&
   698           GetDateFormat(LOCALE_USER_DEFAULT, 0, &time,
   702           GetDateFormat(LOCALE_USER_DEFAULT, 0, &time,
   699                                 "yyyy", buf3, 5)) {
   703                         L"yyyy", buf3, 5)) {
   700         os << "%%CreationDate: " << buf1 << ' '
   704         os << "%%CreationDate: " << buf1 << ' '
   701            << buf2 << ' ' << buf3 << std::endl;
   705            << buf2 << ' ' << buf3 << std::endl;
   702       }
   706       }
       
   707 #else
       
   708         char buf1[11], buf2[9], buf3[5];
       
   709         if (GetDateFormat(LOCALE_USER_DEFAULT, 0, &time,
       
   710                           "ddd MMM dd", buf1, 11) &&
       
   711             GetTimeFormat(LOCALE_USER_DEFAULT, 0, &time,
       
   712                           "HH':'mm':'ss", buf2, 9) &&
       
   713             GetDateFormat(LOCALE_USER_DEFAULT, 0, &time,
       
   714                           "yyyy", buf3, 5)) {
       
   715           os << "%%CreationDate: " << buf1 << ' '
       
   716              << buf2 << ' ' << buf3 << std::endl;
       
   717         }
       
   718 #endif
   703 #endif
   719 #endif
   704     }
   720     }
   705 
   721 
   706     if (_autoArcWidthScale) {
   722     if (_autoArcWidthScale) {
   707       double max_w=0;
   723       double max_w=0;