Fix highlight of non-ASCII diagnostic type
commitaef136e65281eca679ddd8b0e618fbc9115471d9
authorOlly Betts <olly@survex.com>
Wed, 7 Sep 2016 02:19:33 +0000 (7 14:19 +1200)
committerOlly Betts <olly@survex.com>
Wed, 7 Sep 2016 02:19:33 +0000 (7 14:19 +1200)
tree6282ee21c990bd7415a2d0816b9c14e7e6b67f34
parent0d8f67a6ecdef9d1ea889b2cc323ed0aaffa1739
Fix highlight of non-ASCII diagnostic type

When the translation of "error" or "warning" contained non-ASCII
characters, the code to highlight it in red or orange failed to
work.  The fix for this only works with a Unicode build of wxWidgets,
but as of wxWidgets 3.0, all builds are Unicode, so this shouldn't
be much of a problem as wxWidgets 2.x is close to obsolete now.

Reported by Mateusz Golicz.
src/cavernlog.cc