1 Dec
2003
1 Dec
'03
6:20 p.m.
from preamble:
"Change Set: TextMorphBuglet Date: 1 December 2003 Author: Bijan Parsia
Another in a series of microfixes.
This showed up when using the codeProvenance button to toggle colorPrinting from prettyPrinting. Since the actually characters didn't change, the display wouldn't update until you went to another method, or cycled through some other display mode. This fix follows the advice in Text>>=. I expect it'll slow somethings down, especially for complex texts (e.g., with embedded morphs). It may be better to change how this test logic works, but now, at least, the behavior is correct."!