Sort textlines with missing indices
Python's `sorted` method will fail with a TypeError when called with `None` and Integers: ```python >>> sorted([None, 1]) TypeError: '<' not supported between instances of 'int' and 'NoneType' ``` Therefore we are using `float('inf')` instead of `None` in case of missing textline indices.pull/37/head
parent
082fc9e09a
commit
6ff831dfd2
Loading…
Reference in New Issue