wxPython/wx/lib/multisash.py

   1 #----------------------------------------------------------------------
   2 # Name:         multisash
   3 # Purpose:      Multi Sash control
   4 #
   5 # Author:       Gerrit van Dyk
   6 #
   7 # Created:      2002/11/20
   8 # Version:      0.1
   9 # RCS-ID:       $Id$
  10 # License:      wxWindows license
  11 #----------------------------------------------------------------------
  12 # 12/09/2003 - Jeff Grimmett (grimmtooth@softhome.net)
  13 #
  14 # o 2.5 compatability update.
  15 #
  16 # 12/20/2003 - Jeff Grimmett (grimmtooth@softhome.net)
  17 #
  18 # o wxMultiSash -> MultiSash
  19 # o wxMultiSplit -> MultiSplit
  20 # o wxMultiViewLeaf -> MultiViewLeaf
  21 #
  22
  23 import wx
  24
  25 MV_HOR = 0
  26 MV_VER = not MV_HOR
  27
  28 SH_SIZE = 5
  29 CR_SIZE = SH_SIZE * 3
  30
  31 #----------------------------------------------------------------------
  32
  33 class MultiSash(wx.Window):
  34     def __init__(self, *_args,**_kwargs):
  35         apply(wx.Window.__init__,(self,) + _args,_kwargs)
  36         self._defChild = EmptyChild
  37         self.child = MultiSplit(self,self,(0,0),self.GetSize())
  38         self.Bind(wx.EVT_SIZE,self.OnMultiSize)
  39
  40     def SetDefaultChildClass(self,childCls):
  41         self._defChild = childCls
  42         self.child.DefaultChildChanged()
  43
  44     def OnMultiSize(self,evt):
  45         self.child.SetSize(self.GetSize())
  46
  47     def UnSelect(self):
  48         self.child.UnSelect()
  49
  50     def Clear(self):
  51         old = self.child
  52         self.child = MultiSplit(self,self,(0,0),self.GetSize())
  53         old.Destroy()
  54         self.child.OnSize(None)
  55
  56     def GetSaveData(self):
  57         saveData = {}
  58         saveData['_defChild_class'] = self._defChild.__name__
  59         saveData['_defChild_mod']   = self._defChild.__module__
  60         saveData['child'] = self.child.GetSaveData()
  61         return saveData
  62
  63     def SetSaveData(self,data):
  64         mod = data['_defChild_mod']
  65         dChild = mod + '.' + data['_defChild_class']
  66         exec 'import %s' % mod
  67         self._defChild = eval(dChild)
  68         old = self.child
  69         self.child = MultiSplit(self,self,wx.Point(0,0),self.GetSize())
  70         self.child.SetSaveData(data['child'])
  71         old.Destroy()
  72         self.OnMultiSize(None)
  73         self.child.OnSize(None)
  74
  75
  76 #----------------------------------------------------------------------
  77
  78
  79 class MultiSplit(wx.Window):
  80     def __init__(self,multiView,parent,pos,size,view1 = None):
  81         wx.Window.__init__(self,id = -1,parent = parent,pos = pos,size = size,
  82                           style = wx.CLIP_CHILDREN)
  83         self.multiView = multiView
  84         self.view2 = None
  85         if view1:
  86             self.view1 = view1
  87             self.view1.Reparent(self)
  88             self.view1.MoveXY(0,0)
  89         else:
  90             self.view1 = MultiViewLeaf(self.multiView,self,
  91                                          (0,0),self.GetSize())
  92         self.direction = None
  93
  94         self.Bind(wx.EVT_SIZE,self.OnSize)
  95
  96     def GetSaveData(self):
  97         saveData = {}
  98         if self.view1:
  99             saveData['view1'] = self.view1.GetSaveData()
 100             if isinstance(self.view1,MultiSplit):
 101                 saveData['view1IsSplit'] = 1
 102         if self.view2:
 103             saveData['view2'] = self.view2.GetSaveData()
 104             if isinstance(self.view2,MultiSplit):
 105                 saveData['view2IsSplit'] = 1
 106         saveData['direction'] = self.direction
 107         v1,v2 = self.GetPosition()
 108         saveData['x'] = v1
 109         saveData['y'] = v2
 110         v1,v2 = self.GetSize()
 111         saveData['w'] = v1
 112         saveData['h'] = v2
 113         return saveData
 114
 115     def SetSaveData(self,data):
 116         self.direction = data['direction']
 117         self.SetDimensions(int(data['x']), int(data['y']), int(data['w']), int(data['h']))
 118         v1Data = data.get('view1',None)
 119         if v1Data:
 120             isSplit = data.get('view1IsSplit',None)
 121             old = self.view1
 122             if isSplit:
 123                 self.view1 = MultiSplit(self.multiView,self,
 124                                           (0,0),self.GetSize())
 125             else:
 126                 self.view1 = MultiViewLeaf(self.multiView,self,
 127                                              (0,0),self.GetSize())
 128             self.view1.SetSaveData(v1Data)
 129             if old:
 130                 old.Destroy()
 131         v2Data = data.get('view2',None)
 132         if v2Data:
 133             isSplit = data.get('view2IsSplit',None)
 134             old = self.view2
 135             if isSplit:
 136                 self.view2 = MultiSplit(self.multiView,self,
 137                                           (0,0),self.GetSize())
 138             else:
 139                 self.view2 = MultiViewLeaf(self.multiView,self,
 140                                              (0,0),self.GetSize())
 141             self.view2.SetSaveData(v2Data)
 142             if old:
 143                 old.Destroy()
 144         if self.view1:
 145             self.view1.OnSize(None)
 146         if self.view2:
 147             self.view2.OnSize(None)
 148
 149     def UnSelect(self):
 150         if self.view1:
 151             self.view1.UnSelect()
 152         if self.view2:
 153             self.view2.UnSelect()
 154
 155     def DefaultChildChanged(self):
 156         if not self.view2:
 157             self.view1.DefaultChildChanged()
 158
 159     def AddLeaf(self,direction,caller,pos):
 160         if self.view2:
 161             if caller == self.view1:
 162                 self.view1 = MultiSplit(self.multiView,self,
 163                                           caller.GetPosition(),
 164                                           caller.GetSize(),
 165                                           caller)
 166                 self.view1.AddLeaf(direction,caller,pos)
 167             else:
 168                 self.view2 = MultiSplit(self.multiView,self,
 169                                           caller.GetPosition(),
 170                                           caller.GetSize(),
 171                                           caller)
 172                 self.view2.AddLeaf(direction,caller,pos)
 173         else:
 174             self.direction = direction
 175             w,h = self.GetSize()
 176             if direction == MV_HOR:
 177                 x,y = (pos,0)
 178                 w1,h1 = (w-pos,h)
 179                 w2,h2 = (pos,h)
 180             else:
 181                 x,y = (0,pos)
 182                 w1,h1 = (w,h-pos)
 183                 w2,h2 = (w,pos)
 184             self.view2 = MultiViewLeaf(self.multiView, self, (x,y), (w1,h1))
 185             self.view1.SetSize((w2,h2))
 186             self.view2.OnSize(None)
 187
 188     def DestroyLeaf(self,caller):
 189         if not self.view2:              # We will only have 2 windows if
 190             return                      # we need to destroy any
 191         parent = self.GetParent()       # Another splitview
 192         if parent == self.multiView:    # We'r at the root
 193             if caller == self.view1:
 194                 old = self.view1
 195                 self.view1 = self.view2
 196                 self.view2 = None
 197                 old.Destroy()
 198             else:
 199                 self.view2.Destroy()
 200                 self.view2 = None
 201             self.view1.SetSize(self.GetSize())
 202             self.view1.Move(self.GetPosition())
 203         else:
 204             w,h = self.GetSize()
 205             x,y = self.GetPosition()
 206             if caller == self.view1:
 207                 if self == parent.view1:
 208                     parent.view1 = self.view2
 209                 else:
 210                     parent.view2 = self.view2
 211                 self.view2.Reparent(parent)
 212                 self.view2.SetDimensions(x,y,w,h)
 213             else:
 214                 if self == parent.view1:
 215                     parent.view1 = self.view1
 216                 else:
 217                     parent.view2 = self.view1
 218                 self.view1.Reparent(parent)
 219                 self.view1.SetDimensions(x,y,w,h)
 220             self.view1 = None
 221             self.view2 = None
 222             self.Destroy()
 223
 224     def CanSize(self,side,view):
 225         if self.SizeTarget(side,view):
 226             return True
 227         return False
 228
 229     def SizeTarget(self,side,view):
 230         if self.direction == side and self.view2 and view == self.view1:
 231             return self
 232         parent = self.GetParent()
 233         if parent != self.multiView:
 234             return parent.SizeTarget(side,self)
 235         return None
 236
 237     def SizeLeaf(self,leaf,pos,side):
 238         if self.direction != side:
 239             return
 240         if not (self.view1 and self.view2):
 241             return
 242         if pos < 10: return
 243         w,h = self.GetSize()
 244         if side == MV_HOR:
 245             if pos > w - 10: return
 246         else:
 247             if pos > h - 10: return
 248         if side == MV_HOR:
 249             self.view1.SetDimensions(0,0,pos,h)
 250             self.view2.SetDimensions(pos,0,w-pos,h)
 251         else:
 252             self.view1.SetDimensions(0,0,w,pos)
 253             self.view2.SetDimensions(0,pos,w,h-pos)
 254
 255     def OnSize(self,evt):
 256         if not self.view2:
 257             self.view1.SetSize(self.GetSize())
 258             self.view1.OnSize(None)
 259             return
 260         v1w,v1h = self.view1.GetSize()
 261         v2w,v2h = self.view2.GetSize()
 262         v1x,v1y = self.view1.GetPosition()
 263         v2x,v2y = self.view2.GetPosition()
 264         w,h = self.GetSize()
 265
 266         if v1x != v2x:
 267             ratio = float(w) / float((v1w + v2w))
 268             v1w *= ratio
 269             v2w = w - v1w
 270             v2x = v1w
 271         else:
 272             v1w = v2w = w
 273
 274         if v1y != v2y:
 275             ratio = float(h) / float((v1h + v2h))
 276             v1h *= ratio
 277             v2h = h - v1h
 278             v2y = v1h
 279         else:
 280             v1h = v2h = h
 281
 282         self.view1.SetDimensions(int(v1x), int(v1y), int(v1w), int(v1h))
 283         self.view2.SetDimensions(int(v2x), int(v2y), int(v2w), int(v2h))
 284         self.view1.OnSize(None)
 285         self.view2.OnSize(None)
 286
 287
 288 #----------------------------------------------------------------------
 289
 290
 291 class MultiViewLeaf(wx.Window):
 292     def __init__(self,multiView,parent,pos,size):
 293         wx.Window.__init__(self,id = -1,parent = parent,pos = pos,size = size,
 294                           style = wx.CLIP_CHILDREN)
 295         self.multiView = multiView
 296
 297         self.sizerHor = MultiSizer(self,MV_HOR)
 298         self.sizerVer = MultiSizer(self,MV_VER)
 299         self.creatorHor = MultiCreator(self,MV_HOR)
 300         self.creatorVer = MultiCreator(self,MV_VER)
 301         self.detail = MultiClient(self,multiView._defChild)
 302         self.closer = MultiCloser(self)
 303
 304         self.Bind(wx.EVT_SIZE,self.OnSize)
 305
 306         self.SetBackgroundColour(wx.SystemSettings.GetColour(wx.SYS_COLOUR_3DFACE))
 307
 308
 309     def GetSaveData(self):
 310         saveData = {}
 311         saveData['detailClass_class'] = self.detail.child.__class__.__name__
 312         saveData['detailClass_mod'] = self.detail.child.__module__
 313         if hasattr(self.detail.child,'GetSaveData'):
 314             attr = getattr(self.detail.child,'GetSaveData')
 315             if callable(attr):
 316                 dData = attr()
 317                 if dData:
 318                     saveData['detail'] = dData
 319         v1,v2 = self.GetPosition()
 320         saveData['x'] = v1
 321         saveData['y'] = v2
 322         v1,v2 = self.GetSize()
 323         saveData['w'] = v1
 324         saveData['h'] = v2
 325         return saveData
 326
 327     def SetSaveData(self,data):
 328         mod = data['detailClass_mod']
 329         dChild = mod + '.' + data['detailClass_class']
 330         exec 'import %s' % mod
 331         detClass = eval(dChild)
 332         self.SetDimensions(data['x'],data['y'],data['w'],data['h'])
 333         old = self.detail
 334         self.detail = MultiClient(self,detClass)
 335         dData = data.get('detail',None)
 336         if dData:
 337             if hasattr(self.detail.child,'SetSaveData'):
 338                 attr = getattr(self.detail.child,'SetSaveData')
 339                 if callable(attr):
 340                     attr(dData)
 341         old.Destroy()
 342         self.detail.OnSize(None)
 343
 344     def UnSelect(self):
 345         self.detail.UnSelect()
 346
 347     def DefaultChildChanged(self):
 348         self.detail.SetNewChildCls(self.multiView._defChild)
 349
 350     def AddLeaf(self,direction,pos):
 351         if pos < 10: return
 352         w,h = self.GetSize()
 353         if direction == MV_VER:
 354             if pos > h - 10: return
 355         else:
 356             if pos > w - 10: return
 357         self.GetParent().AddLeaf(direction,self,pos)
 358
 359     def DestroyLeaf(self):
 360         self.GetParent().DestroyLeaf(self)
 361
 362     def SizeTarget(self,side):
 363         return self.GetParent().SizeTarget(side,self)
 364
 365     def CanSize(self,side):
 366         return self.GetParent().CanSize(side,self)
 367
 368     def OnSize(self,evt):
 369         def doresize():
 370             try:
 371                 self.sizerHor.OnSize(evt)
 372                 self.sizerVer.OnSize(evt)
 373                 self.creatorHor.OnSize(evt)
 374                 self.creatorVer.OnSize(evt)
 375                 self.detail.OnSize(evt)
 376                 self.closer.OnSize(evt)
 377             except:
 378                 pass
 379         wx.CallAfter(doresize)
 380
 381 #----------------------------------------------------------------------
 382
 383
 384 class MultiClient(wx.Window):
 385     def __init__(self,parent,childCls):
 386         w,h = self.CalcSize(parent)
 387         wx.Window.__init__(self,id = -1,parent = parent,
 388                           pos = (0,0),
 389                           size = (w,h),
 390                           style = wx.CLIP_CHILDREN | wx.SUNKEN_BORDER)
 391         self.child = childCls(self)
 392         self.child.MoveXY(2,2)
 393         self.normalColour = self.GetBackgroundColour()
 394         self.selected = False
 395
 396         self.Bind(wx.EVT_SET_FOCUS,self.OnSetFocus)
 397         self.Bind(wx.EVT_CHILD_FOCUS,self.OnChildFocus)
 398
 399     def UnSelect(self):
 400         if self.selected:
 401             self.selected = False
 402             self.SetBackgroundColour(self.normalColour)
 403             self.Refresh()
 404
 405     def Select(self):
 406         self.GetParent().multiView.UnSelect()
 407         self.selected = True
 408         self.SetBackgroundColour(wx.Colour(255,255,0)) # Yellow
 409         self.Refresh()
 410
 411     def CalcSize(self,parent):
 412         w,h = parent.GetSize()
 413         w -= SH_SIZE
 414         h -= SH_SIZE
 415         return (w,h)
 416
 417     def OnSize(self,evt):
 418         w,h = self.CalcSize(self.GetParent())
 419         self.SetDimensions(0,0,w,h)
 420         w,h = self.GetClientSize()
 421         self.child.SetSize((w-4,h-4))
 422
 423     def SetNewChildCls(self,childCls):
 424         if self.child:
 425             self.child.Destroy()
 426             self.child = None
 427         self.child = childCls(self)
 428         self.child.MoveXY(2,2)
 429
 430     def OnSetFocus(self,evt):
 431         self.Select()
 432
 433     def OnChildFocus(self,evt):
 434         self.OnSetFocus(evt)
 435 ##        from Funcs import FindFocusedChild
 436 ##        child = FindFocusedChild(self)
 437 ##        child.Bind(wx.EVT_KILL_FOCUS,self.OnChildKillFocus)
 438
 439
 440 #----------------------------------------------------------------------
 441
 442
 443 class MultiSizer(wx.Window):
 444     def __init__(self,parent,side):
 445         self.side = side
 446         x,y,w,h = self.CalcSizePos(parent)
 447         wx.Window.__init__(self,id = -1,parent = parent,
 448                           pos = (x,y),
 449                           size = (w,h),
 450                           style = wx.CLIP_CHILDREN)
 451
 452         self.px = None                  # Previous X
 453         self.py = None                  # Previous Y
 454         self.isDrag = False             # In Dragging
 455         self.dragTarget = None          # View being sized
 456
 457         self.Bind(wx.EVT_LEAVE_WINDOW,self.OnLeave)
 458         self.Bind(wx.EVT_ENTER_WINDOW,self.OnEnter)
 459         self.Bind(wx.EVT_MOTION,self.OnMouseMove)
 460         self.Bind(wx.EVT_LEFT_DOWN,self.OnPress)
 461         self.Bind(wx.EVT_LEFT_UP,self.OnRelease)
 462
 463         self.SetBackgroundColour(wx.SystemSettings.GetColour(wx.SYS_COLOUR_3DFACE))
 464
 465
 466     def CalcSizePos(self,parent):
 467         pw,ph = parent.GetSize()
 468         if self.side == MV_HOR:
 469             x = CR_SIZE + 2
 470             y = ph - SH_SIZE
 471             w = pw - CR_SIZE - SH_SIZE - 2
 472             h = SH_SIZE
 473         else:
 474             x = pw - SH_SIZE
 475             y = CR_SIZE + 2 + SH_SIZE
 476             w = SH_SIZE
 477             h = ph - CR_SIZE - SH_SIZE - 4 - SH_SIZE # For Closer
 478         return (x,y,w,h)
 479
 480     def OnSize(self,evt):
 481         x,y,w,h = self.CalcSizePos(self.GetParent())
 482         self.SetDimensions(x,y,w,h)
 483
 484     def OnLeave(self,evt):
 485         self.SetCursor(wx.StockCursor(wx.CURSOR_ARROW))
 486
 487     def OnEnter(self,evt):
 488         if not self.GetParent().CanSize(not self.side):
 489             return
 490         if self.side == MV_HOR:
 491             self.SetCursor(wx.StockCursor(wx.CURSOR_SIZENS))
 492         else:
 493             self.SetCursor(wx.StockCursor(wx.CURSOR_SIZEWE))
 494
 495     def OnMouseMove(self,evt):
 496         if self.isDrag:
 497             DrawSash(self.dragTarget,self.px,self.py,self.side)
 498             self.px,self.py = self.ClientToScreenXY(evt.m_x,evt.m_y)
 499             self.px,self.py = self.dragTarget.ScreenToClientXY(self.px,self.py)
 500             DrawSash(self.dragTarget,self.px,self.py,self.side)
 501         else:
 502             evt.Skip()
 503
 504     def OnPress(self,evt):
 505         self.dragTarget = self.GetParent().SizeTarget(not self.side)
 506         if self.dragTarget:
 507             self.isDrag = True
 508             self.px,self.py = self.ClientToScreenXY(evt.m_x,evt.m_y)
 509             self.px,self.py = self.dragTarget.ScreenToClientXY(self.px,self.py)
 510             DrawSash(self.dragTarget,self.px,self.py,self.side)
 511             self.CaptureMouse()
 512         else:
 513             evt.Skip()
 514
 515     def OnRelease(self,evt):
 516         if self.isDrag:
 517             DrawSash(self.dragTarget,self.px,self.py,self.side)
 518             self.ReleaseMouse()
 519             self.isDrag = False
 520             if self.side == MV_HOR:
 521                 self.dragTarget.SizeLeaf(self.GetParent(),
 522                                          self.py,not self.side)
 523             else:
 524                 self.dragTarget.SizeLeaf(self.GetParent(),
 525                                          self.px,not self.side)
 526             self.dragTarget = None
 527         else:
 528             evt.Skip()
 529
 530 #----------------------------------------------------------------------
 531
 532
 533 class MultiCreator(wx.Window):
 534     def __init__(self,parent,side):
 535         self.side = side
 536         x,y,w,h = self.CalcSizePos(parent)
 537         wx.Window.__init__(self,id = -1,parent = parent,
 538                           pos = (x,y),
 539                           size = (w,h),
 540                           style = wx.CLIP_CHILDREN)
 541
 542         self.px = None                  # Previous X
 543         self.py = None                  # Previous Y
 544         self.isDrag = False           # In Dragging
 545
 546         self.Bind(wx.EVT_LEAVE_WINDOW,self.OnLeave)
 547         self.Bind(wx.EVT_ENTER_WINDOW,self.OnEnter)
 548         self.Bind(wx.EVT_MOTION,self.OnMouseMove)
 549         self.Bind(wx.EVT_LEFT_DOWN,self.OnPress)
 550         self.Bind(wx.EVT_LEFT_UP,self.OnRelease)
 551         self.Bind(wx.EVT_PAINT,self.OnPaint)
 552
 553     def CalcSizePos(self,parent):
 554         pw,ph = parent.GetSize()
 555         if self.side == MV_HOR:
 556             x = 2
 557             y = ph - SH_SIZE
 558             w = CR_SIZE
 559             h = SH_SIZE
 560         else:
 561             x = pw - SH_SIZE
 562             y = 4 + SH_SIZE             # Make provision for closer
 563             w = SH_SIZE
 564             h = CR_SIZE
 565         return (x,y,w,h)
 566
 567     def OnSize(self,evt):
 568         x,y,w,h = self.CalcSizePos(self.GetParent())
 569         self.SetDimensions(x,y,w,h)
 570
 571     def OnLeave(self,evt):
 572         self.SetCursor(wx.StockCursor(wx.CURSOR_ARROW))
 573
 574     def OnEnter(self,evt):
 575         if self.side == MV_HOR:
 576             self.SetCursor(wx.StockCursor(wx.CURSOR_HAND))
 577         else:
 578             self.SetCursor(wx.StockCursor(wx.CURSOR_POINT_LEFT))
 579
 580     def OnMouseMove(self,evt):
 581         if self.isDrag:
 582             parent = self.GetParent()
 583             DrawSash(parent,self.px,self.py,self.side)
 584             self.px,self.py = self.ClientToScreenXY(evt.m_x,evt.m_y)
 585             self.px,self.py = parent.ScreenToClientXY(self.px,self.py)
 586             DrawSash(parent,self.px,self.py,self.side)
 587         else:
 588             evt.Skip()
 589
 590     def OnPress(self,evt):
 591         self.isDrag = True
 592         parent = self.GetParent()
 593         self.px,self.py = self.ClientToScreenXY(evt.m_x,evt.m_y)
 594         self.px,self.py = parent.ScreenToClientXY(self.px,self.py)
 595         DrawSash(parent,self.px,self.py,self.side)
 596         self.CaptureMouse()
 597
 598     def OnRelease(self,evt):
 599         if self.isDrag:
 600             parent = self.GetParent()
 601             DrawSash(parent,self.px,self.py,self.side)
 602             self.ReleaseMouse()
 603             self.isDrag = False
 604
 605             if self.side == MV_HOR:
 606                 parent.AddLeaf(MV_VER,self.py)
 607             else:
 608                 parent.AddLeaf(MV_HOR,self.px)
 609         else:
 610             evt.Skip()
 611
 612     def OnPaint(self,evt):
 613         dc = wx.PaintDC(self)
 614         dc.SetBackground(wx.Brush(self.GetBackgroundColour(),wx.SOLID))
 615         dc.Clear()
 616
 617         highlight = wx.Pen(wx.SystemSettings_GetColour(wx.SYS_COLOUR_BTNHIGHLIGHT), 1, wx.SOLID)
 618         shadow = wx.Pen(wx.SystemSettings_GetColour(wx.SYS_COLOUR_BTNSHADOW), 1, wx.SOLID)
 619         black = wx.Pen(wx.BLACK,1,wx.SOLID)
 620         w,h = self.GetSize()
 621         w -= 1
 622         h -= 1
 623
 624         # Draw outline
 625         dc.SetPen(highlight)
 626         dc.DrawLine(0,0, 0,h)
 627         dc.DrawLine(0,0, w,0)
 628         dc.SetPen(black)
 629         dc.DrawLine(0,h, w+1,h)
 630         dc.DrawLine(w,0, w,h)
 631         dc.SetPen(shadow)
 632         dc.DrawLine(w-1,2, w-1,h)
 633
 634 #----------------------------------------------------------------------
 635
 636
 637 class MultiCloser(wx.Window):
 638     def __init__(self,parent):
 639         x,y,w,h = self.CalcSizePos(parent)
 640         wx.Window.__init__(self,id = -1,parent = parent,
 641                           pos = (x,y),
 642                           size = (w,h),
 643                           style = wx.CLIP_CHILDREN)
 644
 645         self.down = False
 646         self.entered = False
 647
 648         self.Bind(wx.EVT_LEFT_DOWN,self.OnPress)
 649         self.Bind(wx.EVT_LEFT_UP,self.OnRelease)
 650         self.Bind(wx.EVT_PAINT,self.OnPaint)
 651         self.Bind(wx.EVT_LEAVE_WINDOW,self.OnLeave)
 652         self.Bind(wx.EVT_ENTER_WINDOW,self.OnEnter)
 653
 654     def OnLeave(self,evt):
 655         self.SetCursor(wx.StockCursor(wx.CURSOR_ARROW))
 656         self.entered = False
 657
 658     def OnEnter(self,evt):
 659         self.SetCursor(wx.StockCursor(wx.CURSOR_BULLSEYE))
 660         self.entered = True
 661
 662     def OnPress(self,evt):
 663         self.down = True
 664         evt.Skip()
 665
 666     def OnRelease(self,evt):
 667         if self.down and self.entered:
 668             self.GetParent().DestroyLeaf()
 669         else:
 670             evt.Skip()
 671         self.down = False
 672
 673     def OnPaint(self,evt):
 674         dc = wx.PaintDC(self)
 675         dc.SetBackground(wx.Brush(wx.RED,wx.SOLID))
 676         dc.Clear()
 677
 678     def CalcSizePos(self,parent):
 679         pw,ph = parent.GetSize()
 680         x = pw - SH_SIZE
 681         w = SH_SIZE
 682         h = SH_SIZE + 2
 683         y = 1
 684         return (x,y,w,h)
 685
 686     def OnSize(self,evt):
 687         x,y,w,h = self.CalcSizePos(self.GetParent())
 688         self.SetDimensions(x,y,w,h)
 689
 690
 691 #----------------------------------------------------------------------
 692
 693
 694 class EmptyChild(wx.Window):
 695     def __init__(self,parent):
 696         wx.Window.__init__(self,parent,-1, style = wx.CLIP_CHILDREN)
 697
 698
 699 #----------------------------------------------------------------------
 700
 701
 702 def DrawSash(win,x,y,direction):
 703     dc = wx.ScreenDC()
 704     dc.StartDrawingOnTopWin(win)
 705     bmp = wx.EmptyBitmap(8,8)
 706     bdc = wx.MemoryDC()
 707     bdc.SelectObject(bmp)
 708     bdc.DrawRectangle(-1,-1, 10,10)
 709     for i in range(8):
 710         for j in range(8):
 711             if ((i + j) & 1):
 712                 bdc.DrawPoint(i,j)
 713
 714     brush = wx.Brush(wx.Colour(0,0,0))
 715     brush.SetStipple(bmp)
 716
 717     dc.SetBrush(brush)
 718     dc.SetLogicalFunction(wx.XOR)
 719
 720     body_w,body_h = win.GetClientSize()
 721
 722     if y < 0:
 723         y = 0
 724     if y > body_h:
 725         y = body_h
 726     if x < 0:
 727         x = 0
 728     if x > body_w:
 729         x = body_w
 730
 731     if direction == MV_HOR:
 732         x = 0
 733     else:
 734         y = 0
 735
 736     x,y = win.ClientToScreenXY(x,y)
 737
 738     w = body_w
 739     h = body_h
 740
 741     if direction == MV_HOR:
 742         dc.DrawRectangle(x,y-2, w,4)
 743     else:
 744         dc.DrawRectangle(x-2,y, 4,h)
 745
 746     dc.EndDrawingOnTop()