Stephan Witt wrote:
> > So if I put Pavel's suggestion in, would my checkbox patch be acceptable? 
> > As I said, I'd be OK without GUI, but I don't really think it will hurt 
> > anyone to have it in there, with the default being not to change the key 
> > mapping.
> I'd have no problem with that.



Reply via email to