clear wxArtProvider cache when pushing new provider

[wxWidgets.git] / src / html / m_fonts.cpp

diff --git a/src/html/m_fonts.cpp b/src/html/m_fonts.cpp
index 61e59f86c3c9c9339da99c3dc0c0e86076345e3c..0014a38ed8af9f3d5e40d6f1e672dfcb3c7a3b79 100644 (file)
--- a/src/html/m_fonts.cpp
+++ b/src/html/m_fonts.cpp
@@ -34,7 +34,7 @@ FORCE_LINK_ME(m_fonts)
 TAG_HANDLER_BEGIN(FONT, "FONT")
 
     TAG_HANDLER_VARS
-        wxSortedArrayString m_Faces;
+        wxArrayString m_Faces;
 
     TAG_HANDLER_PROC(tag)
     {
@@ -80,7 +80,7 @@ TAG_HANDLER_BEGIN(FONT, "FONT")
 
             while (tk.HasMoreTokens())
             {
-                if ((index = m_Faces.Index(tk.GetNextToken())) != wxNOT_FOUND)
+                if ((index = m_Faces.Index(tk.GetNextToken(), FALSE)) != wxNOT_FOUND)
                 {
                     m_WParser->SetFontFace(m_Faces[index]);
                     m_WParser->GetContainer()->InsertCell(new wxHtmlFontCell(m_WParser->CreateCurrentFont()));