1
0
Fork 0

no automatic space between numbers and ',' or '.' for easier typing of decimal numbers

This commit is contained in:
sspanak 2024-09-20 17:55:13 +03:00 committed by Dimo Karaivanov
parent 8d4dd1f067
commit e8d2efa3ab

View file

@ -13,7 +13,7 @@ import io.github.sspanak.tt9.util.Text;
public class AutoSpace { public class AutoSpace {
private static final Set<Character> PRECEDING_SPACE_PUNCTUATION = Set.of('(', '«', '„'); private static final Set<Character> PRECEDING_SPACE_PUNCTUATION = Set.of('(', '«', '„');
private static final Set<Character> PRECEDING_SPACE_FRENCH_PUNCTUATION = Set.of(';', ':', '!', '?', '»'); private static final Set<Character> PRECEDING_SPACE_FRENCH_PUNCTUATION = Set.of(';', ':', '!', '?', '»');
private static final Set<Character> TRAILING_SPACE_PUNCTUATION = Set.of('.', ',', ';', '!', '?', ')', '%', '»', '؟', '“', Characters.GR_QUESTION_MARK.charAt(0)); private static final Set<Character> TRAILING_SPACE_PUNCTUATION = Set.of(';', '!', '?', ')', '%', '»', '؟', '“', Characters.GR_QUESTION_MARK.charAt(0));
private static final Set<Character> NO_PRECEDING_SPACE_PUNCTUATION = Set.of('.', ',', ')', '\'', '@', '“', '؟', Characters.GR_QUESTION_MARK.charAt(0)); private static final Set<Character> NO_PRECEDING_SPACE_PUNCTUATION = Set.of('.', ',', ')', '\'', '@', '“', '؟', Characters.GR_QUESTION_MARK.charAt(0));
private static final Set<Character> NOT_FRENCH_NO_PRECEDING_SPACE_PUNCTUATION = Set.of(';', ':', '!', '?', '»'); private static final Set<Character> NOT_FRENCH_NO_PRECEDING_SPACE_PUNCTUATION = Set.of(';', ':', '!', '?', '»');
@ -107,6 +107,8 @@ public class AutoSpace {
|| (penultimateChar == ' ' && previousChar == '-') || (penultimateChar == ' ' && previousChar == '-')
|| (penultimateChar == ' ' && previousChar == '/') || (penultimateChar == ' ' && previousChar == '/')
|| (!Character.isDigit(penultimateChar) && previousChar == ':') || (!Character.isDigit(penultimateChar) && previousChar == ':')
|| (!Character.isDigit(penultimateChar) && previousChar == '.')
|| (!Character.isDigit(penultimateChar) && previousChar == ',')
|| (Character.isDigit(penultimateChar) && Characters.Currency.contains(String.valueOf(previousChar))) || (Character.isDigit(penultimateChar) && Characters.Currency.contains(String.valueOf(previousChar)))
); );
} }