pushSnippet

open fun pushSnippet(snippet: Snippet, location: <Error class: unknown class>? = 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