--- a/src/eric7/ViewManager/ViewManager.py Mon Nov 13 11:53:55 2023 +0100 +++ b/src/eric7/ViewManager/ViewManager.py Mon Nov 13 17:38:06 2023 +0100 @@ -18,7 +18,6 @@ QPoint, QSignalMapper, Qt, - QTimer, pyqtSignal, pyqtSlot, ) @@ -134,13 +133,6 @@ if bs is not None: self.bookmarked = bs - # initialize the autosave timer - self.autosaveInterval = Preferences.getEditor("AutosaveInterval") - self.autosaveTimer = QTimer(self) - self.autosaveTimer.setObjectName("AutosaveTimer") - self.autosaveTimer.setSingleShot(True) - self.autosaveTimer.timeout.connect(self.__autosave) - # initialize the APIs manager self.apisManager = APIsManager(parent=self) @@ -6138,10 +6130,6 @@ if ok: self.setEditorName(editor, editor.getFileName()) - # restart autosave timer - if self.autosaveInterval > 0: - self.autosaveTimer.start(self.autosaveInterval * 60000) - def __exportMenuTriggered(self, act): """ Private method to handle the selection of an export format. @@ -7434,10 +7422,6 @@ while self.removeSplit(): pass - # stop the autosave timer - if self.autosaveTimer.isActive(): - self.autosaveTimer.stop() - # hide search and replace widget self.__searchReplaceWidget.hide() @@ -7474,26 +7458,6 @@ self.astViewerAct.setEnabled(True) self.disViewerAct.setEnabled(True) - # activate the autosave timer - if not self.autosaveTimer.isActive() and self.autosaveInterval > 0: - self.autosaveTimer.start(self.autosaveInterval * 60000) - - def __autosave(self): - """ - Private slot to save the contents of all editors automatically. - - Only named editors will be saved by the autosave timer. - """ - for editor in self.editors: - if editor.shouldAutosave(): - ok = editor.saveFile() - if ok: - self.setEditorName(editor, editor.getFileName()) - - # restart autosave timer - if self.autosaveInterval > 0: - self.autosaveTimer.start(self.autosaveInterval * 60000) - def _checkActions(self, editor, setSb=True): """ Protected slot to check some actions for their enable/disable status @@ -7617,7 +7581,6 @@ <ul> <li>reread the colours for the syntax highlighting</li> <li>reloads the already created API objetcs</li> - <li>starts or stops the autosave timer</li> <li><b>Note</b>: changes in viewmanager type are activated on an application restart.</li> </ul> @@ -7631,14 +7594,6 @@ editor.readSettings() editor.zoomTo(zoom) - # reload the autosave timer setting - self.autosaveInterval = Preferences.getEditor("AutosaveInterval") - if len(self.editors): - if self.autosaveTimer.isActive() and self.autosaveInterval == 0: - self.autosaveTimer.stop() - elif not self.autosaveTimer.isActive() and self.autosaveInterval > 0: - self.autosaveTimer.start(self.autosaveInterval * 60000) - self.__enableSpellingActions() def __editorSaved(self, fn, editor):