1990-11-05 20:44:36 +01:00
|
|
|
# HVSplit contains generic code for HSplit and VSplit.
|
|
|
|
# HSplit and VSplit are specializations to either dimension.
|
|
|
|
|
1991-01-23 14:41:53 +01:00
|
|
|
# XXX This does not yet stretch/shrink children if there is too much
|
|
|
|
# XXX or too little space in the split dimension.
|
|
|
|
# XXX (NB There is no interface to ask children for stretch preferences.)
|
|
|
|
|
1990-11-05 20:44:36 +01:00
|
|
|
from Split import Split
|
|
|
|
|
1991-12-26 14:06:29 +01:00
|
|
|
class HVSplit(Split):
|
1990-11-05 20:44:36 +01:00
|
|
|
#
|
1992-12-14 13:57:56 +01:00
|
|
|
def create(self, parent, hv):
|
1991-08-16 15:17:07 +02:00
|
|
|
# hv is 0 for HSplit, 1 for VSplit
|
1990-11-05 20:44:36 +01:00
|
|
|
self = Split.create(self, parent)
|
|
|
|
self.hv = hv
|
|
|
|
return self
|
|
|
|
#
|
1992-12-14 13:57:56 +01:00
|
|
|
def getminsize(self, m, sugg_size):
|
1990-11-05 20:44:36 +01:00
|
|
|
hv, vh = self.hv, 1 - self.hv
|
|
|
|
size = [0, 0]
|
1991-08-16 15:17:07 +02:00
|
|
|
sugg_size = [sugg_size[0], sugg_size[1]]
|
|
|
|
sugg_size[hv] = 0
|
|
|
|
sugg_size = sugg_size[0], sugg_size[1] # Make a tuple
|
1990-11-05 20:44:36 +01:00
|
|
|
for c in self.children:
|
1991-08-16 15:17:07 +02:00
|
|
|
csize = c.getminsize(m, sugg_size)
|
1990-11-05 20:44:36 +01:00
|
|
|
if csize[vh] > size[vh]: size[vh] = csize[vh]
|
|
|
|
size[hv] = size[hv] + csize[hv]
|
|
|
|
return size[0], size[1]
|
|
|
|
#
|
|
|
|
def getbounds(self):
|
|
|
|
return self.bounds
|
|
|
|
#
|
|
|
|
def setbounds(self, bounds):
|
|
|
|
self.bounds = bounds
|
|
|
|
hv, vh = self.hv, 1 - self.hv
|
|
|
|
mf = self.parent.beginmeasuring
|
1991-08-16 15:17:07 +02:00
|
|
|
begin, end = bounds
|
|
|
|
sugg_size = end[0] - begin[0], end[1] - begin[1]
|
|
|
|
size = self.getminsize(mf(), sugg_size)
|
|
|
|
origin = [begin[0], begin[1]]
|
|
|
|
sugg_size = [sugg_size[0], sugg_size[1]] # Make a list
|
|
|
|
sugg_size[hv] = 0
|
|
|
|
sugg_size = sugg_size[0], sugg_size[1] # Make a tuple
|
1990-11-05 20:44:36 +01:00
|
|
|
for c in self.children:
|
1991-08-16 15:17:07 +02:00
|
|
|
size = c.getminsize(mf(), sugg_size)
|
1990-11-05 20:44:36 +01:00
|
|
|
corner = [0, 0]
|
1991-08-16 15:17:07 +02:00
|
|
|
corner[vh] = end[vh]
|
1990-11-05 20:44:36 +01:00
|
|
|
corner[hv] = origin[hv] + size[hv]
|
1992-12-14 13:57:56 +01:00
|
|
|
c.setbounds(((origin[0], origin[1]), \
|
|
|
|
(corner[0], corner[1])))
|
1990-11-05 20:44:36 +01:00
|
|
|
origin[hv] = corner[hv]
|
|
|
|
# XXX stretch
|
|
|
|
# XXX too-small
|
|
|
|
#
|
|
|
|
|
1991-12-26 14:06:29 +01:00
|
|
|
class HSplit(HVSplit):
|
1990-11-05 20:44:36 +01:00
|
|
|
def create(self, parent):
|
1993-01-04 10:16:51 +01:00
|
|
|
return HVSplit.create(self, parent, 0)
|
1990-11-05 20:44:36 +01:00
|
|
|
|
1991-12-26 14:06:29 +01:00
|
|
|
class VSplit(HVSplit):
|
1990-11-05 20:44:36 +01:00
|
|
|
def create(self, parent):
|
1993-01-04 10:16:51 +01:00
|
|
|
return HVSplit.create(self, parent, 1)
|