wx GUI: #273 is obsolete