Mercurial Repositories > eric / file comparison
comparison: src/eric7/ViewManager/ViewManager.py
src/eric7/ViewManager/ViewManager.py
- branch
- eric7
- changeset 10518
- 1682f3203ae5
- parent 10465
- 56a3364150b1
- child 10523
- e4069ddd7dc7
equal
deleted
inserted
replaced
| 10517:aecd5a8c958c | 10518:1682f3203ae5 |
|---|---|
| 5563 Public method to close all editor windows. | 5563 Public method to close all editor windows. |
| 5564 | 5564 |
| 5565 @param ignoreDirty flag indicating to ignore the 'dirty' status | 5565 @param ignoreDirty flag indicating to ignore the 'dirty' status |
| 5566 @type bool | 5566 @type bool |
| 5567 """ | 5567 """ |
| 5568 savedEditors = self.editors[:] | 5568 for editor in self.editors[:]: |
| 5569 for editor in savedEditors: | |
| 5570 self.closeEditor(editor, ignoreDirty=ignoreDirty) | 5569 self.closeEditor(editor, ignoreDirty=ignoreDirty) |
| 5571 | 5570 |
| 5572 def closeWindow(self, fn, ignoreDirty=False): | 5571 def closeWindow(self, fn, ignoreDirty=False): |
| 5573 """ | 5572 """ |
| 5574 Public method to close an arbitrary source editor. | 5573 Public method to close an arbitrary source editor. |
| 5603 return | 5602 return |
| 5604 | 5603 |
| 5605 res = self.closeEditor(editor) | 5604 res = self.closeEditor(editor) |
| 5606 if res and editor == self.currentEditor: | 5605 if res and editor == self.currentEditor: |
| 5607 self.currentEditor = None | 5606 self.currentEditor = None |
| 5607 | |
| 5608 @pyqtSlot() | |
| 5609 def closeDeviceEditors(self): | |
| 5610 """ | |
| 5611 Public slot to close all editors related to a MicroPython device. | |
| 5612 """ | |
| 5613 for editor in self.editors[:]: | |
| 5614 if FileSystemUtilities.isDeviceFileName(editor.getFileName()): | |
| 5615 self.closeEditor(editor, ignoreDirty=True) | |
| 5608 | 5616 |
| 5609 def exit(self): | 5617 def exit(self): |
| 5610 """ | 5618 """ |
| 5611 Public method to handle the debugged program terminating. | 5619 Public method to handle the debugged program terminating. |
| 5612 """ | 5620 """ |
