equal
deleted
inserted
replaced
632 self.OnResetExecutionOrderMenu) |
632 self.OnResetExecutionOrderMenu) |
633 menu.AppendSeparator() |
633 menu.AppendSeparator() |
634 |
634 |
635 add_menu = wx.Menu(title='') |
635 add_menu = wx.Menu(title='') |
636 self.AddAddMenuItems(add_menu) |
636 self.AddAddMenuItems(add_menu) |
637 menu.AppendMenu(-1, _('Add'), add_menu) |
637 menu.Append(wx.ID_NEW, _('Add'), add_menu) |
638 |
638 |
639 menu.AppendSeparator() |
639 menu.AppendSeparator() |
640 |
640 |
641 cut = self.AppendItem(menu, _('Cut'), self.GetClipboardCallBack(self.Cut)) |
641 cut = self.AppendItem(menu, _('Cut'), self.GetClipboardCallBack(self.Cut)) |
642 copy = self.AppendItem(menu, _('Copy'), self.GetClipboardCallBack(self.Copy)) |
642 copy = self.AppendItem(menu, _('Copy'), self.GetClipboardCallBack(self.Copy)) |
2182 else: |
2182 else: |
2183 self.SelectedElement.OnRightUp(event, self.GetLogicalDC(), self.Scaling) |
2183 self.SelectedElement.OnRightUp(event, self.GetLogicalDC(), self.Scaling) |
2184 wx.CallAfter(self.SetCurrentCursor, 0) |
2184 wx.CallAfter(self.SetCurrentCursor, 0) |
2185 elif not self.Debug: |
2185 elif not self.Debug: |
2186 self.PopupDefaultMenu(False) |
2186 self.PopupDefaultMenu(False) |
2187 if self.Editor.HasCapture(): |
|
2188 self.Editor.ReleaseMouse() |
|
2189 event.Skip() |
2187 event.Skip() |
2190 |
2188 |
2191 def OnViewerLeftDClick(self, event): |
2189 def OnViewerLeftDClick(self, event): |
2192 element = self.FindElement(event) |
2190 element = self.FindElement(event) |
2193 if self.Mode == MODE_SELECTION and element is not None: |
2191 if self.Mode == MODE_SELECTION and element is not None: |