Wouldn't call that a fix. Anyway, it is probably some misconfiguration of the window layout. If it were my preferred GUI library (Gtkmm), I would know which flag to change. Unfortunately I have no clue about WxWidgets, so I can't continue investigating from here without digging through massive amount of documentation (for which I absolutely don't have the time).