An idea for people who report typos: special highlighting

I was about to report a suggestion to Logos that they keep track for us (in our resources) of what typos we've reported so that we don't waste time reporting them again. But then it dawned on me that I could do that myself!
I've created a special highlighting style (in 4.0b we can create custom highlighting styles) to mark typos that I've already reported. Here's the style I'm using:
And here's what it looks like in the text:
And you can blame Mark Barnes for goading me on to search for "fart" in my library which is the reason I found this typo in the first place. [:)]
Comments
-
This would be good if there was a mechanism to delete the highlight when the typo was fixed.
Of course I assume this was implicit in your proposal [:)]
Prov. 15:23
0 -
Kevin Becker said:
This would be good if there was a mechanism to delete the highlight when the typo was fixed.
Of course I assume this was implicit in your proposal
If I had suggested an automated feature to Logos to do this, then yes, a mechanism for (or automatic) deletion of same once the typo is fixed would be implicit.
But I wonder what would happen to my markups if the text underneath it changes. That's a good question in general! For example, if I've highlighted some text and then that text is updated to include a missing word (which I hadn't noticed when I highlighted it), will the boundaries of my highlight then be off by the number of characters in the inserted word? I lie awake at night worrying about such things... [;)]
If I added my own typo notes using the above mechanism, I wouldn't necessarily expect Logos to provide a mechanism for removing them automatically when the typo was fixed. But I do wish I could search for highlighting in my whole library (ideally limited to a specific highlighting style) or search for "typo" in all my markup and find them all. I cannot. I found more typos that way when I tried, though! I found several places in Spurgeon's sermons where OCR had picked up the word type and spelled it typo. An amusing typo! [:)]
0