(self, window)
| 13 | self.dict[str(window)] = window |
| 14 | |
| 15 | def delete(self, window): |
| 16 | try: |
| 17 | del self.dict[str(window)] |
| 18 | except KeyError: |
| 19 | # Sometimes, destroy() is called twice |
| 20 | pass |
| 21 | self.call_callbacks() |
| 22 | |
| 23 | def add_windows_to_menu(self, menu): |
| 24 | list = [] |
no test coverage detected