hey guys some users input numbers with comma as decimal separator, and that become a snowball problem further on.
i would like to know, among several ways to avoid problems, what would be the most efficient way to replace the comma with dot during the onSettingsChanged event.
