allow character ranges to include newline and linefeed

This commit is contained in:
Jonathan Shook
2022-06-29 20:44:45 -05:00
parent 9a42b09b81
commit d43cde5ac3

View File

@@ -52,6 +52,7 @@ public class CharsetMapping {
* @return An array of characters
*/
public static char[] rangeFor(String range) {
range = range.replaceAll("\\n","\n").replaceAll("\\r","\r");
List<Character> chars = new ArrayList<>();
int pos = 0;
while (pos < range.length()) {