gtk:text-view-window-to-buffer-coords (view wtype xwindow ywindow)

view -- a gtk:text-view widget
wtype -- a gtk:text-window-type value
xwindow -- an integer for the window x coordinate
ywindow -- an integer for the window y coordinate
xbuffer -- an integer for the text buffer x coordinate
ybuffer -- an integer for the text buffer y coordinate

Converts coordinates on the window identified by wtype to text buffer coordinates.