Add dots to notes duration

2019-07-01 09:19:11 +02:00
parent e47c783d27
commit 611317c890
5 changed files with 26 additions and 13 deletions
--- a/Tokenizer.py
+++ b/Tokenizer.py
@@ -138,6 +138,9 @@ def tokenizeNote(input, current, line):
                while current+consumedChars < len(input) and re.match(r'\d', input[current+consumedChars]):
                    value += input[current+consumedChars]        
                    consumedChars += 1  
+                if current+consumedChars < len(input) and input[current+consumedChars] == '.':
+                    value += input[current+consumedChars]
+                    consumedChars += 1
            return (consumedChars, Token(TokenType.NOTE, value, (line, current)))
    return (0, None)