diff -r 39d1353996b9 -r 08ca9b336a43 src/eric7/QScintilla/ShellWindow.py --- a/src/eric7/QScintilla/ShellWindow.py Mon Jul 24 16:23:02 2023 +0200 +++ b/src/eric7/QScintilla/ShellWindow.py Tue Jul 25 13:14:27 2023 +0200 @@ -1535,7 +1535,6 @@ self.__sbZoom.valueChanged.connect(self.__zoomTo) self.__sbZoom.setValue(0) - # TODO: add code to select the shell history style @pyqtSlot(ShellHistoryStyle) def __historyStyleChanged(self, historyStyle): """