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
child | a [gtk.widget.Widget] |
xpos | X position of child in window coordinates |
ypos | Y position of child in window coordinates |