--- a/eric6/DebugClients/Python/coverage/plugin.py	Sun Jul 05 11:11:24 2020 +0200
+++ b/eric6/DebugClients/Python/coverage/plugin.py	Sun Oct 18 12:35:30 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