Merge branch 'master' into gc

This commit is contained in:
Daniella / Tove 2022-06-30 00:16:19 +02:00
commit c72c2cb3e3

View file

@ -1806,7 +1806,7 @@ public class ISBPL {
word.append('"'); word.append('"');
isInString = true; isInString = true;
} }
else if(c == ' ' || c == '°' || c == 'ß' || c == '§') { else if(c == ' ' || c == '\'' || c == ':' || c == '°' || c == 'ß' || c == '§') {
String w = word.toString(); String w = word.toString();
while(w.startsWith("(") && w.length() > 1) while(w.startsWith("(") && w.length() > 1)
w = w.substring(1); w = w.substring(1);