Email Gateway (Aug 18 2022 at 15:18): Email Gateway (Aug 18 2022 at 15:18):From: Christian Sternagel <christian.sternagel@uibk.ac.at>
A quick question:
how do I remove print rules that have been added via
Sign.add_advanced_trfuns?
cheers
chris
Email Gateway (Aug 18 2022 at 15:19):From: Makarius <makarius@sketis.net>
These are called "translation function" and cannot be removed. For
printing several such functions can be declared, and the first match is
applied. Thus you can override certain existing translation functions.
For actual translation rules, which are introduced via the 'translations'
command, there is an explicit 'no_translations' counterpart.
Makarius
Last updated: Apr 25 2024 at 01:08 UTC