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