This moves the new colorful.bold highlighting to a word's pretty property. A Word now has the is_source attribute to determine if it's the source. If it is, it gets highlighted.
I think this will be helpful if we ever add a reverse origins/tree. You can set a word as the source word and ensure it gets highlighted wherever it ends up in a tree.
jmsv
commented
6 years ago
This moves the new
colorful.boldhighlighting to a word'sprettyproperty. AWordnow has theis_sourceattribute to determine if it's the source. If it is, it gets highlighted.I think this will be helpful if we ever add a reverse origins/tree. You can set a word as the source word and ensure it gets highlighted wherever it ends up in a tree.