enchant_dict_remove_from_session

(PHP 8 >= 8.5.0)

enchant_dict_remove_from_session — Elimina una palabra del diccionario de la sesión

function enchant_dict_remove_from_session(EnchantDictionary $dictionary, string $word): void

Elimina una palabra que había sido añadida previamente a la sesión actual de corrección ortográfica mediante enchant_dict_add_to_session().

dictionary: Un diccionario Enchant devuelto por enchant_broker_request_dict() o enchant_broker_request_pwl_dict().
word: La palabra a eliminar de la sesión.

No se retorna ningún valor.

Lanza un ValueError si dictionary no es utilizable, por ejemplo si no está inicializado o ya ha sido liberado con enchant_broker_free_dict().

enchant_dict_add_to_session() - Añade una palabra a la sesión actual
enchant_dict_remove() - Añade una palabra a la lista de exclusión y la elimina del diccionario personal
enchant_dict_is_added_to_session()

There are no user contributed notes for this page.