Closed csicar closed 5 years ago
@csicar that's a good improvement, but I had to revert it.
It crashes on NameError: name 'time_left' is not defined
. Which is true. time_left
is not defined in timer/ExtensionKeywordListener.py
Could you fix it please and create another PR?