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.
The author is Hàn Thế Thành.