fix: 3723 - now always replaces decimal separator for number format (#3734)

* Revert "feat: 3585 - upgrade to flutter 3.7 (#3666)"

This reverts commit ad46236bdf77afea18b12cc69b3ee64a6752ee73.

* fix: 3723 - now always replaces decimal separator for number format

Impacted files:
* `strings_helper.dart`: removed now useless methods
* `text_input_formatters_helper.dart`: now works in all cases, regardless of the presence of group separator in the target language, given that we don't use group separators in our decimal number formats anyway

* fix: 3723 - unrelated localization fix

Impacted file:
* `app_ar.arb`
This commit is contained in:
monsieurtanuki
2023-02-23 11:05:28 +01:00
committed by GitHub
parent 7b9793b62c
commit fd868c7783
3 changed files with 8 additions and 17 deletions

View File

@ -24,10 +24,6 @@ extension StringExtensions on String {
return positions;
}
bool get isASpaceCharacter => this == ' ' || isANarrowBreakSpaceCharacter;
bool get isANarrowBreakSpaceCharacter => this == '';
/// Removes a character by giving its position
String removeCharacterAt(int position) {
assert(position >= 0 && position < length);