--- a/eric6/UI/PythonAstViewer.py Thu Sep 17 19:16:18 2020 +0200 +++ b/eric6/UI/PythonAstViewer.py Sat Sep 19 19:04:21 2020 +0200 @@ -8,7 +8,6 @@ sources. """ - import ast from PyQt5.QtCore import pyqtSlot, Qt, QTimer @@ -106,10 +105,10 @@ if editor.isModified(): # reload the source QTimer.singleShot(0, self.__loadAST) - else: - # highlight the corresponding entry - QTimer.singleShot(0, self.__selectItemForEditorSelection) - QTimer.singleShot(0, self.__grabFocus) + + # highlight the corresponding entry + QTimer.singleShot(0, self.__selectItemForEditorSelection) + QTimer.singleShot(0, self.__grabFocus) def __lastEditorClosed(self): """