Work around a wxWidgets bug where wxDC::DrawPoint() draws two
pixels under GTK3. On this platform, a zero-pixel line is drawn instead. This is not quite correct and causes some anti-aliasing which bleeds into the pixel, but it's better than before.
Authored by: david_costanzo 2017-01-30
Parent: [r4260]
Child: [r4262]
