void replace(int start, int end, String text) { delete(start, end); insert(start.clamp(0, length), text); }