337 """ |
338 """ |
338 Private slot called, when an editor was closed. |
339 Private slot called, when an editor was closed. |
339 |
340 |
340 @param editor reference to the editor (QScintilla.Editor) |
341 @param editor reference to the editor (QScintilla.Editor) |
341 """ |
342 """ |
342 try: |
343 with contextlib.suppress(ValueError): |
343 self.__editors.remove(editor) |
344 self.__editors.remove(editor) |
344 except ValueError: |
|
345 pass |
|
346 |
345 |
347 def __editorShowMenu(self, menuName, menu, editor): |
346 def __editorShowMenu(self, menuName, menu, editor): |
348 """ |
347 """ |
349 Private slot called, when the the editor context menu or a submenu is |
348 Private slot called, when the the editor context menu or a submenu is |
350 about to be shown. |
349 about to be shown. |