Note that bug #401 has been fixed. This was fixed by upgrading from wxWidgets 2.8.14 to 3.1.0.
Authored by: david_costanzo 2016-05-08
Parent: [r4075]
Child: [r4077]
