editors/Viewer.py
changeset 1711 a0682ec03f1f
parent 1674 85e22d514c05
child 1730 64d8f52bc8c8
--- a/editors/Viewer.py	Tue Jun 27 19:21:09 2017 +0300
+++ b/editors/Viewer.py	Wed Jun 28 18:38:52 2017 +0300
@@ -1606,6 +1606,8 @@
                 menu.Enable(new_id, True)
             else:
                 menu.Enable(new_id, False)
+            if self.Editor.HasCapture():
+                self.Editor.ReleaseMouse()
             self.Editor.PopupMenu(menu)
             menu.Destroy()