- const wxSize& size = wxDefaultSize)
- : wxPanel(parent, id, pos, size, wxTAB_TRAVERSAL | wxNO_BORDER,
+ const wxSize& size = wxDefaultSize,
+ long style = 0)
+ // Always add the wxTAB_TRAVERSAL and wxNO_BORDER styles to what comes
+ // from the XRC if anything.
+ : wxPanel(parent, id, pos, size, style | wxTAB_TRAVERSAL | wxNO_BORDER,