girzel pushed a change to branch master. from 6645f73 If there are multiple patches, collect the .rej from all of them new 562ecca [org-translate] Improve documentation new 13d4d8a [org-translate] Be stricter at startup new 75d8ced [org-translate] Rename ogt-add-glossary-item: ogt-new-glossary-term new 80c0dec [org-translate] Allow ogt-insert-glossary-translation to prompt new 0e31f33 [org-translate] Fix bug in ogt-hightlight-source-segment
Summary of changes: packages/org-translate/org-translate.el | 287 +++++++++++++++++++++----------- 1 file changed, 192 insertions(+), 95 deletions(-)