(self, filename)
| 64 | dirname = None |
| 65 | |
| 66 | def set_filename(self, filename): |
| 67 | if filename and os.path.isdir(filename): |
| 68 | self.filename = None |
| 69 | self.dirname = filename |
| 70 | else: |
| 71 | self.filename = filename |
| 72 | self.dirname = None |
| 73 | self.set_saved(1) |
| 74 | if self.filename_change_hook: |
| 75 | self.filename_change_hook() |
| 76 | |
| 77 | def open(self, event=None, editFile=None): |
| 78 | flist = self.editwin.flist |