Gets the #GtkSourceMap:view property, which is the view this widget is mapping.
a #GtkSourceView or null.
Gets the #GtkSourceMap:view property, which is the view this widget is mapping.