158 lines
4.2 KiB
Python
158 lines
4.2 KiB
Python
# Generic Split implementation.
|
|
# Use as a base class for other splits.
|
|
# Derived classes should at least implement the methods that call
|
|
# unimpl() below: minsize(), getbounds() and setbounds().
|
|
|
|
Error = 'Split.Error' # Exception
|
|
|
|
import rect
|
|
|
|
class Split():
|
|
#
|
|
# Calls from creator
|
|
# NB derived classes may add parameters to create()
|
|
#
|
|
def create(self, parent):
|
|
parent.addchild(self)
|
|
self.parent = parent
|
|
self.children = []
|
|
self.mouse_interest = []
|
|
self.keybd_interest = []
|
|
self.timer_interest = []
|
|
self.altdraw_interest = []
|
|
self.mouse_focus = 0
|
|
return self
|
|
#
|
|
# Downcalls from parent to child
|
|
#
|
|
def destroy(self):
|
|
self.parent = None
|
|
for child in self.children:
|
|
child.destroy()
|
|
del self.children[:]
|
|
del self.mouse_interest[:]
|
|
del self.keybd_interest[:]
|
|
del self.timer_interest[:]
|
|
del self.altdraw_interest[:]
|
|
self.mouse_focus = None
|
|
#
|
|
def minsize(self, m): return unimpl() # Should ask children
|
|
def getbounds(self): return unimpl()
|
|
def setbounds(self, bounds): unimpl() # Should tell children
|
|
#
|
|
def realize(self):
|
|
for child in self.children:
|
|
child.realize()
|
|
#
|
|
def draw(self, d_detail):
|
|
# (Could avoid calls to children outside the area)
|
|
for child in self.children:
|
|
child.draw(d_detail)
|
|
#
|
|
def altdraw(self, detail):
|
|
for child in self.altdraw_interest:
|
|
child.altdraw(detail)
|
|
#
|
|
# Downcalls only made after certain upcalls
|
|
#
|
|
def mouse_down(self, detail):
|
|
if self.mouse_focus:
|
|
self.mouse_focus.mouse_down(detail)
|
|
p = detail[0]
|
|
for child in self.mouse_interest:
|
|
if rect.pointinrect(p, child.getbounds()):
|
|
self.mouse_focus = child
|
|
child.mouse_down(detail)
|
|
def mouse_move(self, detail):
|
|
if self.mouse_focus:
|
|
self.mouse_focus.mouse_move(detail)
|
|
def mouse_up(self, detail):
|
|
if self.mouse_focus:
|
|
self.mouse_focus.mouse_up(detail)
|
|
self.mouse_focus = 0
|
|
#
|
|
def keybd(self, type_detail):
|
|
for child in self.keybd_interest:
|
|
child.keybd(type_detail)
|
|
#
|
|
def timer(self):
|
|
for child in self.timer_interest:
|
|
child.timer()
|
|
#
|
|
# Upcalls from child to parent
|
|
#
|
|
def addchild(self, child):
|
|
if child in self.children:
|
|
raise Error, 'addchild: child already inlist'
|
|
self.children.append(child)
|
|
def delchild(self, child):
|
|
if child not in self.children:
|
|
raise Error, 'delchild: child not in list'
|
|
self.children.remove(child)
|
|
if child in self.mouse_interest:
|
|
self.mouse_interest.remove(child)
|
|
if child in self.keybd_interest:
|
|
self.keybd_interest.remove(child)
|
|
if child in self.timer_interest:
|
|
self.timer_interest.remove(child)
|
|
if child in self.altdraw_interest:
|
|
self.altdraw_interest.remove(child)
|
|
if child = self.mouse_focus:
|
|
self.mouse_focus = 0
|
|
#
|
|
def need_mouse(self, child):
|
|
if child not in self.mouse_interest:
|
|
self.mouse_interest.append(child)
|
|
self.parent.need_mouse(self)
|
|
def no_mouse(self, child):
|
|
if child in self.mouse_interest:
|
|
self.mouse_interest.remove(child)
|
|
if not self.mouse_interest:
|
|
self.parent.no_mouse(self)
|
|
#
|
|
def need_keybd(self, child):
|
|
if child not in self.keybd_interest:
|
|
self.keybd_interest.append(child)
|
|
self.parent.need_keybd(self)
|
|
def no_keybd(self, child):
|
|
if child in self.keybd_interest:
|
|
self.keybd_interest.remove(child)
|
|
if not self.keybd_interest:
|
|
self.parent.no_keybd(self)
|
|
#
|
|
def need_timer(self, child):
|
|
if child not in self.timer_interest:
|
|
self.timer_interest.append(child)
|
|
self.parent.need_timer(self)
|
|
def no_timer(self, child):
|
|
if child in self.timer_interest:
|
|
self.timer_interest.remove(child)
|
|
if not self.timer_interest:
|
|
self.parent.no_timer(self)
|
|
#
|
|
def need_altdraw(self, child):
|
|
if child not in self.altdraw_interest:
|
|
self.altdraw_interest.append(child)
|
|
self.parent.need_altdraw(self)
|
|
def no_altdraw(self, child):
|
|
if child in self.altdraw_interest:
|
|
self.altdraw_interest.remove(child)
|
|
if not self.altdraw_interest:
|
|
self.parent.no_altdraw(self)
|
|
#
|
|
# The rest are transparent:
|
|
#
|
|
def begindrawing(self):
|
|
return self.parent.begindrawing()
|
|
def beginmeasuring(self):
|
|
return self.parent.beginmeasuring()
|
|
def getwindow(self):
|
|
return self.parent.getwindow()
|
|
#
|
|
def change(self, area):
|
|
self.parent.change(area)
|
|
def scroll(self, area_vector):
|
|
self.parent.scroll(area_vector)
|
|
def settimer(self, itimer):
|
|
self.parent.settimer(itimer)
|