| 
									
										
										
										
											1990-11-05 19:44:36 +00:00
										 |  |  | # HVSplit contains generic code for HSplit and VSplit. | 
					
						
							|  |  |  | # HSplit and VSplit are specializations to either dimension. | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											1991-01-23 13:41:53 +00: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 19:44:36 +00:00
										 |  |  | from Split import Split | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											1991-12-26 13:06:29 +00:00
										 |  |  | class HVSplit(Split): | 
					
						
							| 
									
										
										
										
											1990-11-05 19:44:36 +00:00
										 |  |  | 	# | 
					
						
							| 
									
										
										
										
											1992-12-14 12:57:56 +00:00
										 |  |  | 	def create(self, parent, hv): | 
					
						
							| 
									
										
										
										
											1991-08-16 13:17:07 +00:00
										 |  |  | 		# hv is 0 for HSplit, 1 for VSplit | 
					
						
							| 
									
										
										
										
											1990-11-05 19:44:36 +00:00
										 |  |  | 		self = Split.create(self, parent) | 
					
						
							|  |  |  | 		self.hv = hv | 
					
						
							|  |  |  | 		return self | 
					
						
							|  |  |  | 	# | 
					
						
							| 
									
										
										
										
											1992-12-14 12:57:56 +00:00
										 |  |  | 	def getminsize(self, m, sugg_size): | 
					
						
							| 
									
										
										
										
											1990-11-05 19:44:36 +00:00
										 |  |  | 		hv, vh = self.hv, 1 - self.hv | 
					
						
							|  |  |  | 		size = [0, 0] | 
					
						
							| 
									
										
										
										
											1991-08-16 13:17:07 +00: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 19:44:36 +00:00
										 |  |  | 		for c in self.children: | 
					
						
							| 
									
										
										
										
											1991-08-16 13:17:07 +00:00
										 |  |  | 			csize = c.getminsize(m, sugg_size) | 
					
						
							| 
									
										
										
										
											1990-11-05 19:44:36 +00: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 13:17:07 +00: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 19:44:36 +00:00
										 |  |  | 		for c in self.children: | 
					
						
							| 
									
										
										
										
											1991-08-16 13:17:07 +00:00
										 |  |  | 			size = c.getminsize(mf(), sugg_size) | 
					
						
							| 
									
										
										
										
											1990-11-05 19:44:36 +00:00
										 |  |  | 			corner = [0, 0] | 
					
						
							| 
									
										
										
										
											1991-08-16 13:17:07 +00:00
										 |  |  | 			corner[vh] = end[vh] | 
					
						
							| 
									
										
										
										
											1990-11-05 19:44:36 +00:00
										 |  |  | 			corner[hv] = origin[hv] + size[hv] | 
					
						
							| 
									
										
										
										
											1992-12-14 12:57:56 +00:00
										 |  |  | 			c.setbounds(((origin[0], origin[1]), \ | 
					
						
							|  |  |  | 					(corner[0], corner[1]))) | 
					
						
							| 
									
										
										
										
											1990-11-05 19:44:36 +00:00
										 |  |  | 			origin[hv] = corner[hv] | 
					
						
							|  |  |  | 			# XXX stretch | 
					
						
							|  |  |  | 			# XXX too-small | 
					
						
							|  |  |  | 	# | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											1991-12-26 13:06:29 +00:00
										 |  |  | class HSplit(HVSplit): | 
					
						
							| 
									
										
										
										
											1990-11-05 19:44:36 +00:00
										 |  |  | 	def create(self, parent): | 
					
						
							| 
									
										
										
										
											1993-01-04 09:16:51 +00:00
										 |  |  | 		return HVSplit.create(self, parent, 0) | 
					
						
							| 
									
										
										
										
											1990-11-05 19:44:36 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											1991-12-26 13:06:29 +00:00
										 |  |  | class VSplit(HVSplit): | 
					
						
							| 
									
										
										
										
											1990-11-05 19:44:36 +00:00
										 |  |  | 	def create(self, parent): | 
					
						
							| 
									
										
										
										
											1993-01-04 09:16:51 +00:00
										 |  |  | 		return HVSplit.create(self, parent, 1) |