editors/Viewer.py
changeset 908 50a8192fbb23
parent 896 899ca8809528
child 940 0c68d1af821d
equal deleted inserted replaced
907:591cb3d96980 908:50a8192fbb23
  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: