--- a/controls/LibraryPanel.py Mon Aug 13 10:41:27 2012 +0200
+++ b/controls/LibraryPanel.py Sun Aug 19 16:02:12 2012 +0200
@@ -39,7 +39,7 @@
def __init__(self, parent, enable_drag=False):
wx.Panel.__init__(self, parent, style=wx.TAB_TRAVERSAL)
- main_sizer = wx.FlexGridSizer(cols=1, hgap=0, rows=3, vgap=0)
+ main_sizer = wx.FlexGridSizer(cols=1, hgap=0, rows=2, vgap=0)
main_sizer.AddGrowableCol(0)
main_sizer.AddGrowableRow(1)
@@ -52,7 +52,12 @@
search_textctrl.Bind(wx.EVT_CHAR, self.OnKeyDown)
main_sizer.AddWindow(self.SearchCtrl, flag=wx.GROW)
- self.Tree = wx.TreeCtrl(self,
+ splitter_window = wx.SplitterWindow(self)
+ splitter_window.SetSashGravity(1.0)
+ main_sizer.AddWindow(splitter_window, flag=wx.GROW)
+
+ self.Tree = wx.TreeCtrl(splitter_window,
+ size=wx.Size(0, 0),
style=wx.TR_HAS_BUTTONS|
wx.TR_SINGLE|
wx.SUNKEN_BORDER|
@@ -62,11 +67,11 @@
self.Tree.Bind(wx.EVT_CHAR, self.OnKeyDown)
if enable_drag:
self.Bind(wx.EVT_TREE_BEGIN_DRAG, self.OnTreeBeginDrag, self.Tree)
- main_sizer.AddWindow(self.Tree, flag=wx.GROW)
-
- self.Comment = wx.TextCtrl(self, size=wx.Size(0, 80),
+
+ self.Comment = wx.TextCtrl(splitter_window, size=wx.Size(0, 80),
style=wx.TE_READONLY|wx.TE_MULTILINE)
- main_sizer.AddWindow(self.Comment, flag=wx.GROW)
+
+ splitter_window.SplitHorizontally(self.Tree, self.Comment, -80)
self.SetSizer(main_sizer)