Extend the wxWidgets 3.1.0 patch to include a fix for a regression from wxWidgets 2.8.12 that introduced strange glyphs into the logo code editors when some non-printing characters are pressed (F1-F12, media keys, etc.). The bug in wxWidgets is tracked at http://trac.wxwidgets.org/ticket/17598
