Re: [code] Feature request: snippet._insert should allow replacing the selection

From: Mitchell <>
Date: Tue, 9 May 2017 22:13:25 -0400 (EDT)

Hi Robert,

On Sun, 7 May 2017, Robert Gieseke wrote:

> Am 07/05/17 um 14:42 schrieb Mitchell:
>>> You might be very right about this. But imagine a user who inserts a
>>> snippet and deletes it right-away because he's had another idea or he
>>> pasted the wrong snippet for example. I think this could be pretty common,
>>> If you delete the whole snippet, then again TA will jump to the first line
>>> and delete the first symbol.
>> I understand, and that is what "Tools -> Snippets -> Cancel Snippet"
>> (Ctrl+Shift+K) is for. I will make a note to look into this though. I
>> appreciate the details of your report.
> Maybe it would be possible to have the shortcut as `Esc` and even
> indicate that one is in "Snipper-Insert" mode (in the status bar or by
> changing the color of a margin or something)?

That is an interesting idea, at least with the "Esc" key. I will look into
this. Thanks for the suggestion.


You are subscribed to
To change subscription settings, send an e-mail to
To unsubscribe, send an e-mail to
Received on Tue 09 May 2017 - 22:13:25 EDT

This archive was generated by hypermail 2.2.0 : Wed 10 May 2017 - 06:28:55 EDT