1407 |
dc.DestroyClippingRegion() |
dc.DestroyClippingRegion() |
1408 |
|
|
1409 |
|
|
1410 |
class ClassGroupPropertiesCtrl(wxWindow, wxControl): |
class ClassGroupPropertiesCtrl(wxControl): |
1411 |
"""A custom window and control that draw a preview of group properties |
"""A custom window and control that draw a preview of group properties |
1412 |
and can open a dialog to modify the properties if the user double-clicks |
and can open a dialog to modify the properties if the user double-clicks |
1413 |
it. |
it. |
1415 |
|
|
1416 |
def __init__(self, parent, id, props, shapeType, |
def __init__(self, parent, id, props, shapeType, |
1417 |
size = wxDefaultSize, style = 0): |
size = wxDefaultSize, style = 0): |
1418 |
|
wxControl.__init__(self, parent, id, size = size, style = style) |
|
wxWindow.__init__(self, parent, id, size = size, style = style) |
|
1419 |
|
|
1420 |
self.parent = parent |
self.parent = parent |
1421 |
|
|