- more workarounds

diff --git a/wxWidgets-format.patch b/wxWidgets-format.patch
index 832827d380ab2dbe8db8496165915672635fe886..af595ba6a837c79793d85ba61beba393f1291d32 100644 (file)
--- a/wxWidgets-format.patch
+++ b/wxWidgets-format.patch
@@ -1383,3 +1383,14 @@
                  else
                      m_Printer->PrintFile(m_HtmlWin->GetOpenedPage());
              }
+--- wxWidgets-2.8.12/src/html/htmlpars.cpp.orig        2011-03-22 12:59:44.000000000 +0100
++++ wxWidgets-2.8.12/src/html/htmlpars.cpp     2012-09-30 20:58:05.014196745 +0200
+@@ -382,7 +382,7 @@
+ #endif // wxUSE_STL/!wxUSE_STL
+         )
+     {
+-        wxLogWarning(_("Warning: attempt to remove HTML tag handler from empty stack."));
++        wxLogWarning("%s", _("Warning: attempt to remove HTML tag handler from empty stack."));
+         return;
+     }
+     m_HandlersHash = *((wxHashTable*) first->GetData());