]> gitweb.factorcode.org Git - factor.git/commit
tools.annotations: Optionally re-annotate silently, add reset-all
authortimor <timor.dd@googlemail.com>
Fri, 23 Apr 2021 08:38:45 +0000 (10:38 +0200)
committerJohn Benediktsson <mrjbq7@gmail.com>
Fri, 30 Apr 2021 23:19:55 +0000 (16:19 -0700)
commitee4f57c0d0b5bd3fb8277b3bdced55540743162a
tree0808064cffe790dde10944253d1bc898870e0556
parent24607b2608ab6df8021b5a95c8aabcbe78cf06d2
tools.annotations: Optionally re-annotate silently, add reset-all

Introduces variable `override-annotations`.  If set to `t`, annotating a word
twice will not throw an error, but reset the word and apply the new annotation.

The new word `reset-all` is provided as convenience to reset all known
annotations.
basis/tools/annotations/annotations.factor