From f8eab2a7323df84b92afeecd4aa364bbc4185911 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 5 Jan 2017 17:02:14 -0700 Subject: [PATCH] unbreak for GTK+ 2 --- gui-lib/mred/private/wx/gtk/frame.rkt | 7 +++++-- gui-lib/mred/private/wx/gtk/utils.rkt | 3 ++- 2 files changed, 7 insertions(+), 3 deletions(-) diff --git a/gui-lib/mred/private/wx/gtk/frame.rkt b/gui-lib/mred/private/wx/gtk/frame.rkt index b36ecb6b..df0ba6bf 100644 --- a/gui-lib/mred/private/wx/gtk/frame.rkt +++ b/gui-lib/mred/private/wx/gtk/frame.rkt @@ -1,5 +1,6 @@ #lang racket/base (require ffi/unsafe + ffi/unsafe/define racket/class racket/promise racket/runtime-path @@ -89,8 +90,10 @@ [max_aspect _double] [win_gravity _int])) (define-gtk gtk_window_set_geometry_hints (_fun _GtkWindow _GtkWidget _GdkGeometry-pointer _int -> _void)) -(define-gtk gtk_widget_get_allocated_width (_fun _GtkWidget -> _int)) -(define-gtk gtk_widget_get_allocated_height (_fun _GtkWidget -> _int)) +(define-gtk gtk_widget_get_allocated_width (_fun _GtkWidget -> _int) + #:make-fail make-not-available) +(define-gtk gtk_widget_get_allocated_height (_fun _GtkWidget -> _int) + #:make-fail make-not-available) (define-gtk gtk_layout_new (_fun (_pointer = #f) (_pointer = #f) -> _GtkWidget)) (define-gtk gtk_layout_put (_fun _GtkWidget _GtkWidget _int _int -> _void)) diff --git a/gui-lib/mred/private/wx/gtk/utils.rkt b/gui-lib/mred/private/wx/gtk/utils.rkt index b698ec65..8fd0141f 100644 --- a/gui-lib/mred/private/wx/gtk/utils.rkt +++ b/gui-lib/mred/private/wx/gtk/utils.rkt @@ -202,7 +202,8 @@ (define-gdk gdk_screen_get_default (_fun -> _GdkScreen)) -(define-gtk gtk_get_minor_version (_fun -> _uint)) +(define-gtk gtk_get_minor_version (_fun -> _uint) + #:fail (lambda () (lambda () 0))) (define (mnemonic-string orig-s) (string-join