added wxXmlResource::FindXRCIDById() (#10026)

[wxWidgets.git] / interface / wx / richtext / richtexthtml.h

diff --git a/interface/wx/richtext/richtexthtml.h b/interface/wx/richtext/richtexthtml.h
index 89760f1c2395151e749572925f64eb41d4a13aff..a4baf9d6d2e690931d6d4c414d1dc785d6ea879a 100644 (file)
--- a/interface/wx/richtext/richtexthtml.h
+++ b/interface/wx/richtext/richtexthtml.h
@@ -85,7 +85,7 @@ public:
     /**
         Saves the buffer content to the HTML stream.
     */
-    bool DoSaveFile(wxRichTextBuffer* buffer, wxOutputStream& stream);
+    virtual bool DoSaveFile(wxRichTextBuffer* buffer, wxOutputStream& stream);
 
     /**
         Returns the mapping for converting point sizes to HTML font sizes.