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
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
|
#------------------------------------------------------------------------------
# Copyright (c) 2005, Enthought, Inc.
# All rights reserved.
#
# This software is provided without warranty under the terms of the BSD
# license included in enthought/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!
#
# Author: Enthought, Inc.
# Description: <Enthought pyface package component>
#------------------------------------------------------------------------------
""" Mix-in class for split widgets. """
# Major package imports.
import wx
# Enthought library imports.
from enthought.traits.api import Callable, Enum, Float, HasTraits
class SplitWidget(HasTraits):
""" Mix-in class for split widgets.
A split widget is one that is split in two either horizontally or
vertically.
"""
# The direction in which the widget is split.
#
# Splitting vertically means there will be a left hand panel and a right
# hand panel, splitting horizontally means there will be a top panel and
# a bottom panel.
direction = Enum('vertical', 'vertical', 'horizontal')
# The ratio of the size of the left/top pane to the right/bottom pane.
ratio = Float(0.5)
# An optional callable that provides the left hand/top panel.
lhs = Callable
# An optional callable that provides the right hand/bottom panel.
rhs = Callable
###########################################################################
# Protected 'SplitWidget' 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.
wx.EVT_SIZE(splitter, 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 hasattr(wx, 'WindowPtr'):
if not isinstance(lhs, (wx.Window, wx.WindowPtr)):
lhs = lhs.control
else:
# wx 2.8 did away with WindowPtr
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 hasattr(wx, 'WindowPtr'):
if not isinstance(lhs, (wx.Window, wx.WindowPtr)):
lhs = lhs.control
else:
# wx 2.8 did away with WindowPtr
if not isinstance(lhs, wx.Window):
lhs = lhs.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()
# 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.
#wx.EVT_SIZE(splitter, None)
return
#### EOF ######################################################################
|
