#include "support/systemcall.h"
#ifdef __APPLE__
+#include "debug.h"
#include <ApplicationServices/ApplicationServices.h>
+using std::endl;
#endif
#if defined(_WIN32) || (defined(__CYGWIN__) && defined(X_DISPLAY_MISSING))
#include "windows.h"
-#ifdef __CYGWIN__
+#ifdef max
#undef max
+#endif
+#ifdef min
#undef min
#endif
#include "support/os.h"
using std::string;
string const win_fonts_truetype[] = {"cmex10", "cmmi10", "cmr10", "cmsy10",
- "eufm10", "msam10", "msbm10", "wasy10"};
+ "eufm10", "msam10", "msbm10", "wasy10", "esint10"};
const int num_fonts_truetype = sizeof(win_fonts_truetype) / sizeof(*win_fonts_truetype);
#endif