def insert_space(translator, stroke, cmdline):
# Retrospective insert space
translations = translator.get_state().translations
if not translations:
return
replaced = translations[-1]
if replaced.is_retrospective_command:
return
lookup_stroke = replaced.strokes[-1]
english = [t.english or '/'.join(t.rtfcre)
for t in replaced.replaced]
if english:
english.append(translator.lookup([lookup_stroke]) or lookup_stroke.rtfcre)
t = Translation([stroke], ' '.join(english))
t.replaced = [replaced]
t.is_retrospective_command = True
translator.translate_translation(t)
def insert_space(translator, stroke, cmdline):
# Retrospective insert space
translations = translator.get_state().translations
if not translations:
return
replaced = translations[-1]
if replaced.is_retrospective_command:
return
lookup_stroke = replaced.strokes[-1]
english = [t.english or '/'.join(t.rtfcre) for t in replaced.replaced]
if english:
english.append(
translator.lookup([lookup_stroke]) or lookup_stroke.rtfcre)
t = Translation([stroke], ' '.join(english))
t.replaced = [replaced]
t.is_retrospective_command = True
translator.translate_translation(t)
def delete_space(translator, stroke, cmdline):
# Retrospective delete space
translations = translator.get_state().translations
if len(translations) < 2:
return
replaced = translations[-2:]
if replaced[1].is_retrospective_command:
return
english = []
for t in replaced:
if t.english is not None:
english.append(t.english)
elif len(t.rtfcre) == 1 and t.rtfcre[0].isdigit():
english.append('{&%s}' % t.rtfcre[0])
if len(english) > 1:
t = Translation([stroke], '{^~|^}'.join(english))
t.replaced = replaced
t.is_retrospective_command = True
translator.translate_translation(t)
def delete_space(translator, stroke, cmdline):
# Retrospective delete space
translations = translator.get_state().translations
if len(translations) < 2:
return
replaced = translations[-2:]
if replaced[1].is_retrospective_command:
return
english = []
for t in replaced:
if t.english is not None:
english.append(t.english)
elif len(t.rtfcre) == 1 and t.rtfcre[0].isdigit():
english.append('{&%s}' % t.rtfcre[0])
if len(english) > 1:
t = Translation([stroke], '{^~|^}'.join(english))
t.replaced = replaced
t.is_retrospective_command = True
translator.translate_translation(t)
