Searched refs:decimalSeparator (Results 1 – 1 of 1) sorted by relevance
121 char decimalSeparator = DecimalFormatSymbols.getInstance().getDecimalSeparator(); in getTimeText() local143 seconds, hundreds, decimalSeparator, lap); in getTimeText()161 char decimalSeparator = DecimalFormatSymbols.getInstance().getDecimalSeparator(); in formatTimeText() local162 return String.format(format, hours, minutes, seconds, hundreds, decimalSeparator); in formatTimeText()