Cleaned up wxArtProvider:

[wxWidgets.git] / interface / wx / pen.h

diff --git a/interface/wx/pen.h b/interface/wx/pen.h
index 02368092d58559316fd74fc0de3e268b2b2abc27..8dd77c30934063aaa815917a41a8d7b44389942c 100644 (file)
--- a/interface/wx/pen.h
+++ b/interface/wx/pen.h
@@ -98,7 +98,6 @@ enum wxPenCap
 
 /**
     @class wxPen
-    @wxheader{pen.h}
 
     A pen is a drawing tool for drawing outlines. It is used for drawing
     lines and painting the outline of rectangles, ellipses, etc.
@@ -202,7 +201,7 @@ public:
                  pointer to the pen object is stored in an application
                  data structure, and there is a risk of double deletion.
     */
-    ~wxPen();
+    virtual ~wxPen();
 
     /**
         Returns the pen cap style, which may be one of @c wxCAP_ROUND, @c
@@ -266,7 +265,7 @@ public:
     /**
         Returns @true if the pen is initialised.
     */
-    bool IsOk() const;
+    virtual bool IsOk() const;
 
     /**
         Sets the pen cap style, which may be one of @c wxCAP_ROUND, @c wxCAP_PROJECTING
@@ -410,7 +409,6 @@ wxPen* wxLIGHT_GREY_PEN;
 
 /**
     @class wxPenList
-    @wxheader{gdicmn.h}
 
     There is only one instance of this class: ::wxThePenList.
     Use this object to search for a previously created pen of the desired