Map.getView

gtksource.view.View getView()

Gets the gtksource.map.Map.view property, which is the view this widget is mapping.

Returns

a #GtkSourceView or null.