gv-save­pos – A patch to gv to save po­si­tions

A patch against the sources of gv (ver­sion 3.6.2), to record the co­or­di­nates of the cur­sor in a file.
Such a file sim­pli­fies the pro­cess of prepar­ing im­ages us­ing pack­ages such as pin­la­bel.