gv-savepos – A patch to gv to save positions

A patch against the sources of gv (version 3.6.2), to record the coordinates of the cursor in a file.

Such a file simplifies the process of preparing images using packages such as pinlabel.