diff -r 25f42e208e08 -r f8b97639deb5 eric6/DebugClients/Python/coverage/plugin.py --- a/eric6/DebugClients/Python/coverage/plugin.py Tue Sep 15 19:09:05 2020 +0200 +++ b/eric6/DebugClients/Python/coverage/plugin.py Thu Sep 17 19:10:36 2020 +0200 @@ -496,6 +496,7 @@ * ``'num'``: a number * ``'op'``: an operator * ``'str'``: a string literal + * ``'ws'``: some white space * ``'txt'``: some other kind of text If you concatenate all the token texts, and then join them with