- more workarounds

diff --git a/wxWidgets-format.patch b/wxWidgets-format.patch
index b5404275f926940edeb8db561b4bbf722e4e8a4d..d5c41598a35a826cd8c23fd41c03d7b872514ab7 100644 (file)
--- a/wxWidgets-format.patch
+++ b/wxWidgets-format.patch
@@ -1512,3 +1512,14 @@
  
      return false;
  }
+--- wxWidgets-2.8.12/src/richtext/richtextprint.cpp.orig       2011-03-22 12:59:44.000000000 +0100
++++ wxWidgets-2.8.12/src/richtext/richtextprint.cpp    2012-10-01 19:03:12.205872900 +0200
+@@ -572,7 +572,7 @@
+ {
+     if (!GetPrintData()->Ok())
+     {
+-        wxLogError(_("There was a problem during page setup: you may need to set a default printer."));
++        wxLogError("%s", _("There was a problem during page setup: you may need to set a default printer."));
+         return;
+     }
+