On Wed, Aug 16, 2006 at 03:13:23PM -0400, Simetrical wrote:
On 8/16/06, Jay R. Ashworth jra@baylink.com wrote:
But what do you do when you typed ''' but meant ''... and it's gone now? :-)
Backspace. That's the convention in word processors for when it magically converts something you typed to something else. For instance, if you type a URL-looking thing in Word, then hit space, you'll get blue and underlining. If you immediately hit backspace, the blue and underlining disappears, but the space you entered remains: no actual character is erased, it reinterprets the key as meaning "undo the last automatic conversion" if that's applicable.
I think you can no longer do that as soon as you hit any other key, though. It has to be immediate.
I'll have to call that a miswart, if the modality of the cursor isn't somehow indicated. I see why it's a useful solution, though. It could be, however, difficult to explain why backspace converts three "'"s to *none*, instead of two.
Perhaps not *converting* it until a character after it is typed...
Cheers, -- jr 'will design other people's software for food' a