On Mon, Nov 23, 2015 at 12:04:31PM +0100, Claudio Jeker wrote:
> On Mon, Nov 23, 2015 at 01:31:11AM -0700, Anthony J. Bentley wrote:
> > When I hit backspace after a backslash, usually I just want to delete
> > the backslash. I don't think I've ever intended to input a literal ^?.
> > If I ever did
On 2015-11-23, "Anthony J. Bentley" wrote:
> When I hit backspace after a backslash, usually I just want to delete
> the backslash. I don't think I've ever intended to input a literal ^?.
> If I ever did want to insert ^H, ^?, or ^U, I would just type ^V first.
FWIW, I suspect this feature simpl
On Mon, Nov 23, 2015 at 01:31:11AM -0700, Anthony J. Bentley wrote:
> [...]
> I've passed this diff around privately before and gotten a tepid
> response, but it was pointed out to me that it would fit better on tech@.
> [...]
Yes, please.
--
Gregor
On Mon, Nov 23, 2015 at 01:31:11AM -0700, Anthony J. Bentley wrote:
> When I hit backspace after a backslash, usually I just want to delete
> the backslash. I don't think I've ever intended to input a literal ^?.
> If I ever did want to insert ^H, ^?, or ^U, I would just type ^V first.
>
> I've pa
When I hit backspace after a backslash, usually I just want to delete
the backslash. I don't think I've ever intended to input a literal ^?.
If I ever did want to insert ^H, ^?, or ^U, I would just type ^V first.
I've passed this diff around privately before and gotten a tepid
response, but it was
