equal
deleted
inserted
replaced
1963 self.HighlightedElement = None |
1963 self.HighlightedElement = None |
1964 data = wx.TextDataObject(str((iec_path, "debug"))) |
1964 data = wx.TextDataObject(str((iec_path, "debug"))) |
1965 dragSource = wx.DropSource(self.Editor) |
1965 dragSource = wx.DropSource(self.Editor) |
1966 dragSource.SetData(data) |
1966 dragSource.SetData(data) |
1967 dragSource.DoDragDrop() |
1967 dragSource.DoDragDrop() |
|
1968 if self.Editor.HasCapture(): |
|
1969 self.Editor.ReleaseMouse() |
|
1970 wx.CallAfter(self.SetCurrentCursor, 0) |
1968 self.UpdateScrollPos(event) |
1971 self.UpdateScrollPos(event) |
1969 event.Skip() |
1972 event.Skip() |
1970 |
1973 |
1971 def OnLeaveViewer(self, event): |
1974 def OnLeaveViewer(self, event): |
1972 if self.StartScreenPos is None: |
1975 if self.StartScreenPos is None: |