equal
deleted
inserted
replaced
1604 self.Bind(wx.EVT_MENU, self.GetReleaseVariableMenuFunction(iec_path.upper()), id=new_id) |
1604 self.Bind(wx.EVT_MENU, self.GetReleaseVariableMenuFunction(iec_path.upper()), id=new_id) |
1605 if self.SelectedElement.IsForced(): |
1605 if self.SelectedElement.IsForced(): |
1606 menu.Enable(new_id, True) |
1606 menu.Enable(new_id, True) |
1607 else: |
1607 else: |
1608 menu.Enable(new_id, False) |
1608 menu.Enable(new_id, False) |
|
1609 if self.Editor.HasCapture(): |
|
1610 self.Editor.ReleaseMouse() |
1609 self.Editor.PopupMenu(menu) |
1611 self.Editor.PopupMenu(menu) |
1610 menu.Destroy() |
1612 menu.Destroy() |
1611 |
1613 |
1612 def PopupBlockMenu(self, connector = None): |
1614 def PopupBlockMenu(self, connector = None): |
1613 menu = wx.Menu(title='') |
1615 menu = wx.Menu(title='') |