changeset 1833 | 2269739dd098 |
parent 1782 | 5b6ad7a7fd9d |
child 1847 | 6198190bc121 |
--- a/editors/TextViewer.py Thu Sep 28 15:17:57 2017 +0300 +++ b/editors/TextViewer.py Thu Sep 28 16:25:05 2017 +0300 @@ -70,7 +70,7 @@ def LineStartswith(line, symbols): - return reduce(lambda x, y: x or y, map(lambda x: line.startswith(x), symbols), False) + return reduce(lambda x, y: x or y, map(line.startswith, symbols), False) class TextViewer(EditorPanel):