use wxString for wxXmlResource::Set/GetDomain(), it's simpler

[wxWidgets.git] / include / wx / xtixml.h

diff --git a/include/wx/xtixml.h b/include/wx/xtixml.h
index 20482693b0bb8f3ef847c5d475f8c4dcd7bc2894..2466e4731c560e0630579e353d3d742b7d249bc5 100644 (file)
--- a/include/wx/xtixml.h
+++ b/include/wx/xtixml.h
@@ -25,7 +25,7 @@ class WXDLLIMPEXP_XML wxXmlWriter : public wxWriter
 public :
 
     wxXmlWriter( wxXmlNode * parent ) ;
-    ~wxXmlWriter() ;
+    virtual ~wxXmlWriter() ;
 
     //
     // streaming callbacks
@@ -84,7 +84,7 @@ class WXDLLIMPEXP_XML wxXmlReader : public wxReader
 {
 public:
     wxXmlReader(wxXmlNode *parent) { m_parent = parent ; }
-    ~wxXmlReader() {}
+    virtual ~wxXmlReader() {}
 
     // Reads a component from XML.  The return value is the root object ID, which can
     // then be used to ask the depersister about that object