1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
|
# (C) Copyright 2005-2023 Enthought, Inc., Austin, TX
# All rights reserved.
#
# This software is provided without warranty under the terms of the BSD
# license included in LICENSE.txt and may be redistributed only under
# the conditions described in the aforementioned license. The license
# is also available online at http://www.enthought.com/licenses/BSD.txt
#
# Thanks for using Enthought open source!
""" Mix-in class for split widgets.
"""
import wx
from traits.api import provides
from pyface.i_widget import IWidget
from pyface.i_split_widget import ISplitWidget, MSplitWidget
@provides(ISplitWidget)
class SplitWidget(MSplitWidget):
""" The toolkit specific implementation of a SplitWidget. See the
ISPlitWidget interface for the API documentation.
"""
# ------------------------------------------------------------------------
# Protected 'ISplitWidget' interface.
# ------------------------------------------------------------------------
def _create_splitter(self, parent):
""" Create the toolkit-specific control that represents the widget. """
sizer = wx.BoxSizer(wx.VERTICAL)
splitter = wx.SplitterWindow(parent, -1, style=wx.CLIP_CHILDREN)
splitter.SetSizer(sizer)
splitter.SetAutoLayout(True)
# If we don't set the minimum pane size, the user can drag the sash and
# make one pane disappear!
splitter.SetMinimumPaneSize(50)
# Left hand side/top.
lhs = self._create_lhs(splitter)
sizer.Add(lhs, 1, wx.EXPAND)
# Right hand side/bottom.
rhs = self._create_rhs(splitter)
sizer.Add(rhs, 1, wx.EXPAND)
# Resize the splitter to fit the sizer's minimum size.
sizer.Fit(splitter)
# Split the window in the appropriate direction.
#
# fixme: Notice that on the initial split, we DON'T specify the split
# ratio. If we do then sadly, wx won't let us move the sash 8^()
if self.direction == "vertical":
splitter.SplitVertically(lhs, rhs)
else:
splitter.SplitHorizontally(lhs, rhs)
# We respond to the FIRST size event to make sure that the split ratio
# is correct when the splitter is laid out in its parent.
splitter.Bind(wx.EVT_SIZE, self._on_size)
return splitter
def _create_lhs(self, parent):
""" Creates the left hand/top panel depending on the direction. """
if self.lhs is not None:
lhs = self.lhs(parent)
if isinstance(lhs, IWidget):
lhs.create()
if not isinstance(lhs, wx.Window):
lhs = lhs.control
else:
# Dummy implementation - override!
lhs = wx.Panel(parent, -1)
lhs.SetBackgroundColour("yellow")
lhs.SetSize((300, 200))
return lhs
def _create_rhs(self, parent):
""" Creates the right hand/bottom panel depending on the direction. """
if self.rhs is not None:
rhs = self.rhs(parent)
if isinstance(rhs, IWidget):
rhs.create()
if not isinstance(rhs, wx.Window):
rhs = rhs.control
else:
# Dummy implementation - override!
rhs = wx.Panel(parent, -1)
rhs.SetBackgroundColour("green")
rhs.SetSize((100, 200))
return rhs
# ------------------------------------------------------------------------
# Private interface.
# ------------------------------------------------------------------------
# wx event handlers ----------------------------------------------------
def _on_size(self, event):
""" Called when the frame is resized. """
splitter = event.GetEventObject()
width, height = splitter.GetSize().Get()
# Make sure that the split ratio is correct.
if self.direction == "vertical":
position = int(width * self.ratio)
else:
position = int(height * self.ratio)
splitter.SetSashPosition(position)
# Since we only care about the FIRST size event, remove ourselves as
# a listener.
# splitter.Unbind(wx.EVT_SIZE)
return
|
