plover.translation – Translation#
- plover.translation.escape_translation(translation)#
- plover.translation.unescape_translation(translation)#
- plover.translation._mapping_to_macro(mapping, stroke)#
- class plover.translation.Translation(outline, translation)#
- strokes#
- rtfcre#
- english#
- replaced#
- formatting#
- is_retrospective_command#
- has_undo()#
- class plover.translation.Translator#
- translate(stroke)#
- set_dictionary(d)#
- get_dictionary()#
- add_listener(callback)#
- remove_listener(callback)#
- set_min_undo_length(n)#
- flush([extra_translations=None])#
- get_state()#
- set_state(state)#
- clear_state()#
- translate_stroke(stroke)#
- translate_macro(macro)#
- translate_translation(t)#
- untranslate_translation(t)#
- lookup(strokes[, suffixes=()])#