Doc and comment cleanup, fixes, tweaks

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

diff --git a/interface/wx/richtext/richtexthtml.h b/interface/wx/richtext/richtexthtml.h
index 99e51abe0f2218750641750c9ad20dad1341ad6a..12a60ff7ba93d958e68594e0c7d748decd738f31 100644 (file)
--- a/interface/wx/richtext/richtexthtml.h
+++ b/interface/wx/richtext/richtexthtml.h
@@ -8,7 +8,6 @@
 
 /**
     @class wxRichTextHTMLHandler
 
 /**
     @class wxRichTextHTMLHandler

-    @headerfile richtexthtml.h wx/richtext/richtexthtml.h

 
     Handles HTML output (only) for wxRichTextCtrl content.
 
 
     Handles HTML output (only) for wxRichTextCtrl content.
 


@@ -70,7 +69,7 @@ public:
     /**
         Returns the mapping for converting point sizes to HTML font sizes.
     */
     /**
         Returns the mapping for converting point sizes to HTML font sizes.
     */

-    wxArrayInt GetFontSizeMapping();
+    wxArrayInt GetFontSizeMapping() const;

 
     /**
         Returns the directory used to store temporary image files.
 
     /**
         Returns the directory used to store temporary image files.


@@ -86,7 +85,7 @@ public:
         Reset the file counter, in case, for example, the same names are required each
         time
     */
         Reset the file counter, in case, for example, the same names are required each
         time
     */

-    void SetFileCounter(int counter);
+    static void SetFileCounter(int counter);

 
     /**
         Sets the mapping for converting point sizes to HTML font sizes.
 
     /**
         Sets the mapping for converting point sizes to HTML font sizes.