change


Description:

public abstract void change (string word, string change_to)

Changes the current word by change_to in the text.

word must be the same as returned by the last call to goto_next.

This function doesn't call set_correction. A widget using a Navigator should call set_correction in addition to this function.

Parameters:

this

a Navigator.

word

the word to change.

change_to

the replacement.