Mostly works. But the wxMaxima menu doesn't trigger anything yet.