| 1394 | self.container_height - self.height / 2 - self.add_button.GetHeight() / 3)) |
| 1395 | |
| 1396 | def OnLeaveWindow(self, event): |
| 1397 | if self.start_drag and not self.dragging: |
| 1398 | self.dragging = False |
| 1399 | self.start_drag = False |
| 1400 | self.dragged_tab = None |
| 1401 | self.drag_trigger = self.drag_trail |
| 1402 | if self.HasCapture(): |
| 1403 | self.ReleaseMouse() |
| 1404 | |
| 1405 | if self.preview_wnd: |
| 1406 | self.preview_wnd.Show(False) |
| 1407 | del self.preview_wnd |
| 1408 | self.preview_wnd = None |
| 1409 | event.Skip() |
| 1410 | |
| 1411 | def OnTimer(self, event): |
| 1412 | mposx, mposy = wx.GetMousePosition() |