add pointer to GVJ_t to store latest known pointer position on device.

diff --git a/lib/gvc/gvcint.h b/lib/gvc/gvcint.h
index ca05cf76e91294de6b755d880258456777dd29e5..0c33d88fdf352e427e7fe6c2552dd77566e20335 100644 (file)
--- a/lib/gvc/gvcint.h
+++ b/lib/gvc/gvcint.h
@@ -129,9 +129,8 @@ extern "C" {
        pointf focus;           /* viewport focus in graph units */
        box     boundingBox;    /* drawable region in device units */
 
-#if 0
-       pointf pointer;         /* pointer position in graph units */
-#endif
+       pointf pointer;         /* pointer position in device units */
+
        boxf clip;              /* clip region in graph units */
        boxf pageBoxClip;       /* intersection of clip and pageBox */
 

diff --git a/lib/gvc/gvplugin.c b/lib/gvc/gvplugin.c
index 6dc29293a3d68f010db1e2f5bd1129bdf05bb126..344c289a682a048b9c7488aca05d4dded10b0758 100644 (file)
--- a/lib/gvc/gvplugin.c
+++ b/lib/gvc/gvplugin.c
@@ -114,7 +114,7 @@ gvplugin_library_t *gvplugin_library_load(char *path)
     if (len > lenp) {
        lenp = len+20;
        if (p)
-           realloc(p, lenp);
+           p = realloc(p, lenp);
        else
            p = malloc(lenp);
     }