56 |
|
|
57 |
self.sizer = sizer = wxBoxSizer(wxVERTICAL) |
self.sizer = sizer = wxBoxSizer(wxVERTICAL) |
58 |
|
|
59 |
tp = self.__titlePanel = wxPanel(self,-1, wxPoint(0,0))#, style=wxSIMPLE_BORDER) |
if sys.platform == "win32": |
60 |
|
size = (1, 16) |
61 |
|
else: |
62 |
|
size = (-1,-1) |
63 |
|
|
64 |
|
tp = self.__titlePanel = wxPanel(self,-1, wxPoint(0,0), size)#, style=wxSIMPLE_BORDER) |
65 |
tp.SetBackgroundColour(TITLEBAR_ACTIVE) |
tp.SetBackgroundColour(TITLEBAR_ACTIVE) |
66 |
sizer.Add(tp,0, wxALL|wxEXPAND, border=2) |
sizer.Add(tp,0, wxALL|wxEXPAND, border=2) |
67 |
|
|