diff src/graphics.cc @ 11239:5fa7667f90e5

Add prefix ID_ to property ids to avoid name clash on windows
author Kai Habel <kai.habel@gmx.de>
date Thu, 11 Nov 2010 15:01:03 +0100
parents c0a95a5c6d25
children 830b940e7ff4
line wrap: on
line diff
--- a/src/graphics.cc
+++ b/src/graphics.cc
@@ -2345,7 +2345,7 @@
 
           switch (id)
             {
-            case base_properties::VISIBLE:
+            case base_properties::ID_VISIBLE:
               if (! props.is_visible ())
                 {
                   send_quit (props.get___plot_stream__ ());