Last whitespaces should not be highlighted.

Author: jmzambon

codehighlighter/python/highlight.py

@@ -947,7 +947,7 @@ def _highlight_code():
                 lastval = tok_value
                 lasttype = tok_type
         # emptying buffer
-        if lastval:
+        if lastval.strip():
             _highlight_code()
         self.cleancharstyles(styleprefix)
         logger.debug("Terminating code block highlighting.")