Mercurial Repositories > eric / file comparison
comparison: src/eric7/ViewManager/ViewManager.py
src/eric7/ViewManager/ViewManager.py
- branch
- server
- changeset 10738
- 37101524dd76
- parent 10704
- 27d21e5163b8
- parent 10726
- 2201838fbf45
- child 10759
- aeb98b3fa008
equal
deleted
inserted
replaced
| 10725:51fe971610d3 | 10738:37101524dd76 |
|---|---|
| 7966 self.apisManager.reloadAPIs() | 7966 self.apisManager.reloadAPIs() |
| 7967 | 7967 |
| 7968 # reload editor settings | 7968 # reload editor settings |
| 7969 for editor in self.editors: | 7969 for editor in self.editors: |
| 7970 zoom = editor.getZoom() | 7970 zoom = editor.getZoom() |
| 7971 contractedFolds = editor.contractedFolds() | |
| 7971 editor.readSettings() | 7972 editor.readSettings() |
| 7973 editor.setContractedFolds(contractedFolds) | |
| 7972 editor.zoomTo(zoom) | 7974 editor.zoomTo(zoom) |
| 7973 | 7975 |
| 7974 self.__enableSpellingActions() | 7976 self.__enableSpellingActions() |
| 7975 | 7977 |
| 7976 def __editorSaved(self, fn, editor): | 7978 def __editorSaved(self, fn, editor): |
