Map.getView

gtksource.view.View getView()

Gets the #GtkSourceMap:view property, which is the view this widget is mapping.

Returns

a #GtkSourceView or null.