diff -r f6c0a18254d6 -r d0ca3e676654 src/eric7/Tasks/TaskViewer.py
--- a/src/eric7/Tasks/TaskViewer.py Wed Mar 05 15:53:37 2025 +0100
+++ b/src/eric7/Tasks/TaskViewer.py Thu Mar 06 16:28:13 2025 +0100
@@ -816,7 +816,7 @@
# apply file filter
filterList = [
- f.strip() for f in self.__projectTasksScanFilter.split(",") if f.strip()
+ f for f in map(str.strip, self.__projectTasksScanFilter.split(",")) if f
]
if filterList:
for scanFilter in filterList:
@@ -990,7 +990,7 @@
if self.__interrupt:
break
- # read the file and split it into textlines
+ # read the file and split it into text lines
try:
text, _encoding = Utilities.readEncodedFile(fn)
lines = text.splitlines()
