From 420ba997daadeab5c3097c30429a100da70f1857 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 15 Oct 2010 12:07:17 -0600 Subject: [PATCH] minor clean-up original commit: 4d8497b985c88fae21dab44c1f32e2afa1808fe4 --- collects/mred/private/wx/gtk/procs.rkt | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/collects/mred/private/wx/gtk/procs.rkt b/collects/mred/private/wx/gtk/procs.rkt index 70d6504f..7dc0d0ea 100644 --- a/collects/mred/private/wx/gtk/procs.rkt +++ b/collects/mred/private/wx/gtk/procs.rkt @@ -36,7 +36,6 @@ file-creator-and-type run-printout get-double-click-time - key-symbol-to-integer get-control-font-size get-control-font-size-in-pixels? cancel-quit @@ -60,15 +59,15 @@ make-gl-bitmap check-for-break) -(define-unimplemented play-sound) (define-unimplemented find-graphical-system-path) (define-unimplemented location->window) (define-unimplemented send-event) -(define-unimplemented key-symbol-to-integer) (define-unimplemented cancel-quit) (define-unimplemented write-resource) (define-unimplemented get-resource) +(define-unimplemented play-sound) + (define (color-from-user-platform-mode) 'dialog) (define (font-from-user-platform-mode) #f)