code: public void setCurrent(String value)
      {
  	current.replace(0, current.length(), value);
  	cursor = 0;
  	limit = current.length();
  	limit_backward = 0;
  	bra = cursor;
  	ket = limit;
      }
docs: Set the current string.