equal
deleted
inserted
replaced
55 wx.Panel.__init__(self, parent, style=wx.TAB_TRAVERSAL) |
55 wx.Panel.__init__(self, parent, style=wx.TAB_TRAVERSAL) |
56 |
56 |
57 main_sizer = wx.BoxSizer(wx.VERTICAL) |
57 main_sizer = wx.BoxSizer(wx.VERTICAL) |
58 |
58 |
59 self.Tree = wx.TreeCtrl(self, |
59 self.Tree = wx.TreeCtrl(self, |
60 style=wx.TR_HAS_BUTTONS| |
60 style=wx.TR_HAS_BUTTONS | |
61 wx.TR_SINGLE| |
61 wx.TR_SINGLE | |
62 wx.SUNKEN_BORDER| |
62 wx.SUNKEN_BORDER | |
63 wx.TR_HIDE_ROOT| |
63 wx.TR_HIDE_ROOT | |
64 wx.TR_LINES_AT_ROOT| |
64 wx.TR_LINES_AT_ROOT | |
65 wx.TR_EDIT_LABELS) |
65 wx.TR_EDIT_LABELS) |
66 if wx.Platform == '__WXMSW__': |
66 if wx.Platform == '__WXMSW__': |
67 self.Bind(wx.EVT_TREE_ITEM_ACTIVATED, self.OnTreeItemExpanded, self.Tree) |
67 self.Bind(wx.EVT_TREE_ITEM_ACTIVATED, self.OnTreeItemExpanded, self.Tree) |
68 self.Tree.Bind(wx.EVT_LEFT_DOWN, self.OnTreeLeftDown) |
68 self.Tree.Bind(wx.EVT_LEFT_DOWN, self.OnTreeLeftDown) |
69 else: |
69 else: |