(self, index)
| 494 | self.gui.show_frame(self.stack[index]) |
| 495 | |
| 496 | def show_source(self, index): |
| 497 | if not (0 <= index < len(self.stack)): |
| 498 | return |
| 499 | frame, lineno = self.stack[index] |
| 500 | code = frame.f_code |
| 501 | filename = code.co_filename |
| 502 | if os.path.isfile(filename): |
| 503 | edit = self.flist.open(filename) |
| 504 | if edit: |
| 505 | edit.gotoline(lineno) |
| 506 | |
| 507 | |
| 508 | class NamespaceViewer: |
no test coverage detected