46 |
default_height = 200 |
default_height = 200 |
47 |
|
|
48 |
def __init__(self, parent, instance, tool): |
def __init__(self, parent, instance, tool): |
49 |
if sys.platform[:3] == 'win': |
style = wxMINIMIZE_BOX|wxRESIZE_BORDER|wxCAPTION|wxFRAME_NO_TASKBAR|wxFRAME_FLOAT_ON_PARENT |
|
style = wxFRAME_TOOL_WINDOW|wxMINIMIZE_BOX|wxRESIZE_BORDER| \ |
|
|
wxFRAME_FLOAT_ON_PARENT |
|
|
else: |
|
|
style = wxMINIMIZE_BOX|wxRESIZE_BORDER|wxCAPTION|wxFRAME_NO_TASKBAR|wxFRAME_FLOAT_ON_PARENT |
|
|
|
|
50 |
|
|
51 |
wxFrame.__init__(self, instance, -1, tool.title, style=style) |
wxFrame.__init__(self, instance, -1, tool.title, style=style) |
52 |
BasePane.__init__(self, parent, instance, tool) |
BasePane.__init__(self, parent, instance, tool) |