MarginaliaSearch/code/index/java/nu
Viktor Lofgren f09669a5b0 (index) Correct usage of DocumentSpan.length() instead of DocumentSpan.size()
The latter counts the number of spans, and is not what you want here.
2024-11-25 13:11:55 +01:00
..
marginalia (index) Correct usage of DocumentSpan.length() instead of DocumentSpan.size() 2024-11-25 13:11:55 +01:00