755 self.Editor.Freeze() |
755 self.Editor.Freeze() |
756 if mouse_event is None: |
756 if mouse_event is None: |
757 client_size = self.Editor.GetClientSize() |
757 client_size = self.Editor.GetClientSize() |
758 mouse_pos = wx.Point(client_size[0] / 2, client_size[1] / 2) |
758 mouse_pos = wx.Point(client_size[0] / 2, client_size[1] / 2) |
759 mouse_event = wx.MouseEvent(wx.EVT_MOUSEWHEEL.typeId) |
759 mouse_event = wx.MouseEvent(wx.EVT_MOUSEWHEEL.typeId) |
760 mouse_event.m_x = mouse_pos.x |
760 mouse_event.x = mouse_pos.x |
761 mouse_event.m_y = mouse_pos.y |
761 mouse_event.y = mouse_pos.y |
762 else: |
762 else: |
763 mouse_pos = mouse_event.GetPosition() |
763 mouse_pos = mouse_event.GetPosition() |
764 pos = mouse_event.GetLogicalPosition(dc) |
764 pos = mouse_event.GetLogicalPosition(dc) |
765 xmax = self.GetScrollRange(wx.HORIZONTAL) - self.GetScrollThumb(wx.HORIZONTAL) |
765 xmax = self.GetScrollRange(wx.HORIZONTAL) - self.GetScrollThumb(wx.HORIZONTAL) |
766 ymax = self.GetScrollRange(wx.VERTICAL) - self.GetScrollThumb(wx.VERTICAL) |
766 ymax = self.GetScrollRange(wx.VERTICAL) - self.GetScrollThumb(wx.VERTICAL) |
2396 self.RefreshRect(self.GetScrolledRect(self.SelectedElement.GetRedrawRect(movex, movey)), False) |
2396 self.RefreshRect(self.GetScrolledRect(self.SelectedElement.GetRedrawRect(movex, movey)), False) |
2397 elif not self.Debug and keycode == wx.WXK_SPACE and self.SelectedElement is not None and self.SelectedElement.Dragging: |
2397 elif not self.Debug and keycode == wx.WXK_SPACE and self.SelectedElement is not None and self.SelectedElement.Dragging: |
2398 if self.IsBlock(self.SelectedElement) or self.IsComment(self.SelectedElement): |
2398 if self.IsBlock(self.SelectedElement) or self.IsComment(self.SelectedElement): |
2399 block = self.CopyBlock(self.SelectedElement, wx.Point(*self.SelectedElement.GetPosition())) |
2399 block = self.CopyBlock(self.SelectedElement, wx.Point(*self.SelectedElement.GetPosition())) |
2400 event = wx.MouseEvent() |
2400 event = wx.MouseEvent() |
2401 event.m_x, event.m_y = self.Editor.ScreenToClient(wx.GetMousePosition()) |
2401 event.x, event.y = self.Editor.ScreenToClient(wx.GetMousePosition()) |
2402 dc = self.GetLogicalDC() |
2402 dc = self.GetLogicalDC() |
2403 self.SelectedElement.OnLeftUp(event, dc, self.Scaling) |
2403 self.SelectedElement.OnLeftUp(event, dc, self.Scaling) |
2404 self.SelectedElement.SetSelected(False) |
2404 self.SelectedElement.SetSelected(False) |
2405 block.OnLeftDown(event, dc, self.Scaling) |
2405 block.OnLeftDown(event, dc, self.Scaling) |
2406 self.SelectedElement = block |
2406 self.SelectedElement = block |