diff options
| -rw-r--r-- | src/Fl_Device.cxx | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/Fl_Device.cxx b/src/Fl_Device.cxx index a0f5b4338..40562c7de 100644 --- a/src/Fl_Device.cxx +++ b/src/Fl_Device.cxx @@ -26,7 +26,9 @@ const char *Fl_Display_Device::class_id = "Fl_Display_Device"; const char *Fl_Graphics_Driver::class_id = "Fl_Graphics_Driver"; #if defined(__APPLE__) || defined(FL_DOXYGEN) const char *Fl_Quartz_Graphics_Driver::class_id = "Fl_Quartz_Graphics_Driver"; -bool Fl_Display_Device::high_res_window_ = false; +# ifndef FL_DOXYGEN + bool Fl_Display_Device::high_res_window_ = false; +# endif #endif #if defined(WIN32) || defined(FL_DOXYGEN) const char *Fl_GDI_Graphics_Driver::class_id = "Fl_GDI_Graphics_Driver"; |