Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
Re: spellchecker for users of dvorak layout
- X-seq: zsh-workers 11263
- From: "Bart Schaefer" <schaefer@xxxxxxxxxxxxxxxxxxxxxxx>
- To: Hiroki Tamakoshi <hiroki-t@xxxxxxxxxxxxxxxxxx>, zsh-workers@xxxxxxxxxxxxxx
- Subject: Re: spellchecker for users of dvorak layout
- Date: Mon, 8 May 2000 16:03:33 +0000
- In-reply-to: <lzovh0pgp90.fsf@xxxxxxxxxxxxxxxxxxxx>
- Mailing-list: contact zsh-workers-help@xxxxxxxxxxxxxx; run by ezmlm
- References: <81itwy3yid.fsf@xxxxxxxxxxxxxxxxxxxx> <lzovh0pgp90.fsf@xxxxxxxxxxxxxxxxxxxx>
On May 8, 10:12pm, Hiroki Tamakoshi wrote:
} Subject: Re: spellchecker for users of dvorak layout
}
} My patch seems to be rejected to see that there's no discussion about
} dvorak layout and my patch, and 3.1.7-pre-3 does't reflect my patch.
My apologies; I meant to repond to your message and have not yet.
So I will now.
I've made noises in the now-distant past about making spell-checking
customizable after the manner of the new completion system. (See 2407
and 4577 for examples.) We ended up doing approximation in completion
entirely independently of spell-checking.
However, I still think it'd be useful to put a hook in spckword() for
e.g. calling to a user-defined function that could perform whatever
corrections the user likes. This would be preferable to adding yet
another option, I think.
Now, as I type, this arrives from PWS:
On May 8, 4:42pm, Peter Stephenson wrote:
} Subject: Re: spellchecker for users of dvorak layout
}
} I forgot about this. It's fairly small, so it might as well be added,
My only objection is above.
} though I'm not really sure how much you gain by examining the keyboard
} layout anyway.
It's used to disambiguate so as to offer only a single correction. You
don't gain much when alternatives could result from missed keys in more
than one direction, which does happen occasionally.
--
Bart Schaefer Brass Lantern Enterprises
http://www.well.com/user/barts http://www.brasslantern.com
Messages sorted by:
Reverse Date,
Date,
Thread,
Author