(In reply to comment #21) > This one should be fixed in r13856.
Confirmed the fix (on Ubuntu 14.10 with wxgtk 3.0).
(In reply to comment #21)
> This one should be fixed in r13856.
Confirmed the fix (on Ubuntu 14.10 with wxgtk 3.0).