From d0adb8bc70caa10fa1d938fb1e3a4b4d20f53d46 Mon Sep 17 00:00:00 2001 From: William G Hatch Date: Fri, 20 Jan 2017 15:49:04 -0700 Subject: [PATCH] make GdkCursor nullable --- gui-lib/mred/private/wx/gtk/cursor.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gui-lib/mred/private/wx/gtk/cursor.rkt b/gui-lib/mred/private/wx/gtk/cursor.rkt index da92895a..661bc2eb 100644 --- a/gui-lib/mred/private/wx/gtk/cursor.rkt +++ b/gui-lib/mred/private/wx/gtk/cursor.rkt @@ -36,7 +36,7 @@ (cons 'blank void) (cons 'hand GDK_HAND2)))) -(define _GdkCursor (_cpointer 'GdkCursor)) +(define _GdkCursor (_cpointer/null 'GdkCursor)) (define-gdk gdk_cursor_new (_fun _int -> _GdkCursor)) (define-gdk gdk_display_get_default (_fun -> _GdkDisplay)) (define-gdk gdk_cursor_new_from_pixbuf (_fun _GdkDisplay _GdkPixbuf _int _int -> _GdkCursor))