diff -r 006ee31b4835 -r 0572a215bd2f eric6/UI/LogView.py --- a/eric6/UI/LogView.py Sun Apr 11 12:38:16 2021 +0200 +++ b/eric6/UI/LogView.py Sun Apr 11 16:53:48 2021 +0200 @@ -177,11 +177,8 @@ filters = self.__stderrFilter + self.__stdxxxFilter else: filters = self.__stdoutFilter + self.__stdxxxFilter - for msgFilter in filters: - if msgFilter in message: - return True - return False + return any(msgFilter in message for msgFilter in filters) def appendToStdout(self, txt): """