Version 4.0.2: Improve GUI on Linux (wxPython 4 built against GTK+ 3)
Authored by: nsalguero 2019-05-16
Parent: [r140]
Child: [r142]