protected function initBorderSizeControl(wxSizer $sizer)
{
$hSizer = new wxBoxSizer(wxHORIZONTAL);
$labelCtrl = new wxStaticText($this, wxID_ANY, "Width:", wxDefaultPosition, new wxSize(-1, -1));
// I'm leaving the spinner at a generous fixed with, since GTK renders it rather
// wide otherwise
$this->borderSizeCtrl = new wxSpinCtrl($this, wxID_ANY, "8", wxDefaultPosition, new wxSize(100, -1), wxSP_ARROW_KEYS, 0, 12);
$hSizer->Add($labelCtrl, 0, wxALIGN_CENTER_VERTICAL);
$hSizer->AddSpacer(8);
$hSizer->Add($this->borderSizeCtrl);
// Add the child sizer to the main one (going down)
$this->addItemToSizer($sizer, $hSizer);
}
