gtksource.map
Module for [Map] class
Types 3
Widget that displays a map for a specific class@View.
[gtksource.map.Map] is a widget that maps the content of a class@View into a smaller view so the user can have a quick overview of the whole document.
This works by connecting a class@View to to the [gtksource.map.Map] using the property@Map:view property or [gtksource.map.Map.setView].
[gtksource.map.Map] is a class@View object. This means that you can add a class@GutterRenderer to a gutter in the same way you would for a class@View. One example might be a class@GutterRenderer that shows which lines have changed in the document.
Additionally, it is desirable to match the font of the [gtksource.map.Map] and the class@View used for editing. Therefore, property@Map:font-desc should be used to set the target font. You will need to adjust this to the desired font size for the map. A 1pt font generally seems to be an appropriate font size. "Monospace 1" is the default. See [pango.font_description.FontDescription.setSize] for how to alter the size of an existing [pango.font_description.FontDescription].
When FontConfig is available, [gtksource.map.Map] will try to use a bundled "block" font to make the map more legible.
MapGidBuilder builder()Get builder for [gtksource.map.Map] Returns: New builder objectpango.font_description.FontDescription fontDesc() @propertyvoid fontDesc(pango.font_description.FontDescription propval) @propertygtksource.view.View view() @propertyvoid view(gtksource.view.View propval) @propertygtksource.view.View getView()Gets the `propertyMap:view` property, which is the view this widget is mapping. Returns: a #GtkSourceView or null.void setView(gtksource.view.View view)Sets the view that map will be doing the mapping to.T fontDesc(pango.font_description.FontDescription propval)T view(gtksource.view.View propval)