X-Git-Url: https://git.saurik.com/wxWidgets.git/blobdiff_plain/ae3c17b4013e80b99976c750c19fca47729517f6..ae7e6cc946f85a9f12ab97f5860bf8d6235ec12a:/interface/wx/brush.h

diff --git a/interface/wx/brush.h b/interface/wx/brush.h
index f98b98525f..7df0e78182 100644
--- a/interface/wx/brush.h
+++ b/interface/wx/brush.h
@@ -54,7 +54,6 @@ enum wxBrushStyle
 
 /**
     @class wxBrush
-    @wxheader{brush.h}
 
     A brush is a drawing tool for filling in areas. It is used for painting
     the background of rectangles, ellipses, etc. It has a colour and a style.
@@ -166,7 +165,7 @@ public:
         constructor has been used (for example, the brush is a member of a class, or
         @NULL has been assigned to it).
     */
-    bool IsOk() const;
+    virtual bool IsOk() const;
 
     //@{
     /**
@@ -274,7 +273,6 @@ wxBrush* wxRED_BRUSH;
 
 /**
     @class wxBrushList
-    @wxheader{gdicmn.h}
 
     A brush list is a list containing all brushes which have been created.