Map.getView

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

class Map
getView
()

Return Value

Type: gtksource.view.View

a #GtkSourceView or null.