1990-11-05 15:44:36 -04:00
|
|
|
# A 'WindowParent' is the only module that uses real stdwin functionality.
|
|
|
|
# It is the root of the tree.
|
|
|
|
# It should have exactly one child when realized.
|
1991-04-07 10:37:05 -03:00
|
|
|
#
|
|
|
|
# There is also some support for a standard main loop here.
|
1990-11-05 15:44:36 -04:00
|
|
|
|
|
|
|
import stdwin
|
|
|
|
from stdwinevents import *
|
|
|
|
|
|
|
|
from TransParent import ManageOneChild
|
|
|
|
|
|
|
|
Error = 'WindowParent.Error' # Exception
|
|
|
|
|
1991-04-07 10:37:05 -03:00
|
|
|
WindowList = [] # List containing all windows
|
|
|
|
|
1990-11-05 15:44:36 -04:00
|
|
|
class WindowParent() = ManageOneChild():
|
|
|
|
#
|
|
|
|
def create(self, (title, size)):
|
|
|
|
self.title = title
|
|
|
|
self.size = size # (width, height)
|
1991-01-23 09:43:16 -04:00
|
|
|
self._reset()
|
|
|
|
return self
|
|
|
|
#
|
|
|
|
def _reset(self):
|
|
|
|
self.child = 0
|
|
|
|
self.win = 0
|
1990-11-05 15:44:36 -04:00
|
|
|
self.itimer = 0
|
|
|
|
self.do_mouse = 0
|
1991-04-07 10:37:05 -03:00
|
|
|
self.do_keybd = 0
|
1990-11-05 15:44:36 -04:00
|
|
|
self.do_timer = 0
|
1991-04-07 10:37:05 -03:00
|
|
|
self.do_altdraw = 0
|
1991-01-23 09:43:16 -04:00
|
|
|
#
|
|
|
|
def destroy(self):
|
1991-04-07 10:37:05 -03:00
|
|
|
if self.win in WindowList:
|
|
|
|
import util
|
|
|
|
util.remove(self.win, WindowList)
|
1991-01-23 09:43:16 -04:00
|
|
|
if self.child: self.child.destroy()
|
|
|
|
self._reset()
|
1990-11-05 15:44:36 -04:00
|
|
|
#
|
|
|
|
def need_mouse(self, child): self.do_mouse = 1
|
|
|
|
def no_mouse(self, child): self.do_mouse = 0
|
|
|
|
#
|
1991-04-07 10:37:05 -03:00
|
|
|
def need_keybd(self, child): self.do_keybd = 1
|
|
|
|
def no_keybd(self, child): self.do_keybd = 0
|
|
|
|
#
|
1990-11-05 15:44:36 -04:00
|
|
|
def need_timer(self, child): self.do_timer = 1
|
|
|
|
def no_timer(self, child): self.do_timer = 0
|
|
|
|
#
|
1991-04-07 10:37:05 -03:00
|
|
|
def need_altdraw(self, child): self.do_altdraw = 1
|
|
|
|
def no_altdraw(self, child): self.do_altdraw = 0
|
|
|
|
#
|
1990-11-05 15:44:36 -04:00
|
|
|
def realize(self):
|
|
|
|
if self.win:
|
|
|
|
raise Error, 'realize(): called twice'
|
|
|
|
if not self.child:
|
|
|
|
raise Error, 'realize(): no child'
|
|
|
|
size = self.child.minsize(self.beginmeasuring())
|
|
|
|
self.size = max(self.size[0], size[0]), \
|
1991-04-07 10:37:05 -03:00
|
|
|
max(self.size[1], size[1])
|
|
|
|
# XXX stdwin.setdefwinsize(self.size)
|
1990-12-26 11:34:48 -04:00
|
|
|
# XXX Compensate stdwin bug:
|
1991-04-07 10:37:05 -03:00
|
|
|
stdwin.setdefwinsize(self.size[0]+4, min(300, self.size[1]+2))
|
1990-11-05 15:44:36 -04:00
|
|
|
self.win = stdwin.open(self.title)
|
1991-04-07 10:37:05 -03:00
|
|
|
self.win.setdocsize(self.size)
|
1990-11-05 15:44:36 -04:00
|
|
|
if self.itimer:
|
|
|
|
self.win.settimer(self.itimer)
|
|
|
|
bounds = (0, 0), self.win.getwinsize()
|
|
|
|
self.child.setbounds(bounds)
|
1991-04-07 10:37:05 -03:00
|
|
|
self.child.realize()
|
|
|
|
self.win.dispatch = self.dispatch
|
|
|
|
WindowList.append(self.win)
|
|
|
|
#
|
|
|
|
def fixup(self):
|
|
|
|
self.size = self.child.minsize(self.beginmeasuring())
|
|
|
|
self.win.setdocsize(self.size)
|
|
|
|
bounds = (0, 0), self.win.getwinsize()
|
|
|
|
self.child.setbounds(bounds)
|
1990-11-05 15:44:36 -04:00
|
|
|
#
|
|
|
|
def beginmeasuring(self):
|
|
|
|
# Return something with which a child can measure text
|
|
|
|
if self.win:
|
|
|
|
return self.win.begindrawing()
|
|
|
|
else:
|
|
|
|
return stdwin
|
|
|
|
#
|
|
|
|
def begindrawing(self):
|
|
|
|
if self.win:
|
|
|
|
return self.win.begindrawing()
|
|
|
|
else:
|
|
|
|
raise Error, 'begindrawing(): not realized yet'
|
|
|
|
#
|
1991-04-07 10:37:05 -03:00
|
|
|
def getwindow(self):
|
|
|
|
if self.win:
|
|
|
|
return self.win
|
|
|
|
else:
|
|
|
|
raise Error, 'getwindow(): not realized yet'
|
|
|
|
#
|
1990-11-05 15:44:36 -04:00
|
|
|
def change(self, area):
|
|
|
|
if self.win:
|
|
|
|
self.win.change(area)
|
|
|
|
#
|
|
|
|
def scroll(self, args):
|
|
|
|
if self.win:
|
|
|
|
self.win.scroll(args)
|
|
|
|
#
|
|
|
|
def settimer(self, itimer):
|
|
|
|
if self.win:
|
|
|
|
self.win.settimer(itimer)
|
|
|
|
else:
|
|
|
|
self.itimer = itimer
|
|
|
|
#
|
|
|
|
# Only call dispatch if we have a child
|
|
|
|
#
|
|
|
|
def dispatch(self, (type, win, detail)):
|
|
|
|
if win <> self.win:
|
|
|
|
return
|
|
|
|
elif type = WE_DRAW:
|
|
|
|
d = self.win.begindrawing()
|
|
|
|
self.child.draw(d, detail)
|
1991-04-07 10:37:05 -03:00
|
|
|
del d
|
|
|
|
if self.do_altdraw: self.child.altdraw(detail)
|
1990-11-05 15:44:36 -04:00
|
|
|
elif type = WE_MOUSE_DOWN:
|
|
|
|
if self.do_mouse: self.child.mouse_down(detail)
|
|
|
|
elif type = WE_MOUSE_MOVE:
|
|
|
|
if self.do_mouse: self.child.mouse_move(detail)
|
|
|
|
elif type = WE_MOUSE_UP:
|
|
|
|
if self.do_mouse: self.child.mouse_up(detail)
|
1991-04-07 10:37:05 -03:00
|
|
|
elif type in (WE_CHAR, WE_COMMAND):
|
|
|
|
if self.do_keybd: self.child.keybd(type, detail)
|
1990-11-05 15:44:36 -04:00
|
|
|
elif type = WE_TIMER:
|
|
|
|
if self.do_timer: self.child.timer()
|
|
|
|
elif type = WE_SIZE:
|
1991-04-07 10:37:05 -03:00
|
|
|
self.fixup()
|
|
|
|
elif type = WE_CLOSE:
|
|
|
|
self.destroy()
|
1990-11-05 15:44:36 -04:00
|
|
|
#
|
1991-04-07 10:37:05 -03:00
|
|
|
|
|
|
|
def MainLoop():
|
|
|
|
while WindowList:
|
|
|
|
Dispatch(stdwin.getevent())
|
|
|
|
|
|
|
|
def Dispatch(event):
|
|
|
|
window = event[1]
|
|
|
|
if window in WindowList:
|
|
|
|
window.dispatch(event)
|
|
|
|
else:
|
|
|
|
stdwin.fleep()
|
|
|
|
|
|
|
|
# Interface used by WindowSched:
|
|
|
|
|
|
|
|
def CountWindows():
|
|
|
|
return len(WindowList)
|
|
|
|
|
|
|
|
def AnyWindow():
|
|
|
|
if not WindowList:
|
|
|
|
return None
|
|
|
|
else:
|
|
|
|
return WindowList[0]
|