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

From: Robert Gieseke <>
Date: Sat, 27 May 2017 10:00:54 +0200

Hi Mitchell,

Am 27/05/17 um 06:11 schrieb Mitchell:
>>> 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.
> I've committed a change[1] that binds the "Esc" key to "Cancel Snippet"
> when a snippet is active. (If a snippet is not active, the usual Esc
> behavior occurs.) I think snippet placeholders are indication enough that
> a snippet is active. I don't think there is a need to update the statusbar
> or change a margin color.

Thanks a lot! That works well and I think I just need to make the
placeholders more visible in my theme ...


> [1]:

You are subscribed to
To change subscription settings, send an e-mail to
To unsubscribe, send an e-mail to
Received on Sat 27 May 2017 - 04:00:54 EDT

This archive was generated by hypermail 2.2.0 : Sat 27 May 2017 - 06:31:57 EDT