TextView.addOverlay

void addOverlay(gtk.widget.Widget child, int xpos, int ypos)

Adds child at a fixed coordinate in the gtk.text_view.TextView's text window.

The xpos and ypos must be in buffer coordinates (see gtk.text_view.TextView.getIterLocation to convert to buffer coordinates).

child will scroll with the text view.

If instead you want a widget that will not move with the gtk.text_view.TextView contents see gtk.overlay.Overlay.

Parameters

childa gtk.widget.Widget
xposX position of child in window coordinates
yposY position of child in window coordinates