change_all


Description:

public abstract void change_all (string word, string change_to)

Changes all occurrences of word by change_to in the text.

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.