public interface IDictionaries
Modifier and Type | Method and Description |
---|---|
void |
addDictionaryFactory(IDictionaryFactory factory) |
void |
refresh()
Refresh content on dictionary file changed.
|
void |
removeDictionaryFactory(IDictionaryFactory factory) |
void |
searchText(java.lang.String text) |
void refresh()
void addDictionaryFactory(IDictionaryFactory factory)
void removeDictionaryFactory(IDictionaryFactory factory)
void searchText(java.lang.String text)