View.pushSnippet

void pushSnippet(gtksource.snippet.Snippet snippet, gtk.text_iter.TextIter location = null)

Inserts a new snippet at location

If another snippet was already active, it will be paused and the new snippet will become active. Once the focus positions of snippet have been exhausted, editing will return to the previous snippet.

Parameters

`snippet`	a #GtkSourceSnippet
`location`	a #GtkTextIter or null for the cursor position