String replaceChar(String s, int offset, String c) { if (offset == 0) { return '$c${s.substring(1)}'; } else { return '${s.substring(0, offset)}$c${s.substring(offset + 1)}'; } }