From 7ea46ac0f3d4d444513c7ceab341b5ee86e8d808 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sat, 12 Jun 2010 10:50:16 -0600 Subject: [PATCH] fix canvas% refresh for Gtk original commit: 1aab1c78a3b88ed75b7c20161aa1dfa04ca35d76 --- collects/mred/private/wx/gtk/canvas.rkt | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/collects/mred/private/wx/gtk/canvas.rkt b/collects/mred/private/wx/gtk/canvas.rkt index 6ad214ca..b32b2dbe 100644 --- a/collects/mred/private/wx/gtk/canvas.rkt +++ b/collects/mred/private/wx/gtk/canvas.rkt @@ -20,6 +20,8 @@ (define-gtk gtk_drawing_area_new (_fun -> _GtkWidget)) +(define-gtk gtk_widget_queue_draw (_fun _GtkWidget -> _void)) + (define-gtk gtk_hbox_new (_fun _gboolean _int -> _GtkWidget)) (define-gtk gtk_hscrollbar_new (_fun _pointer -> _GtkWidget)) (define-gtk gtk_vscrollbar_new (_fun _pointer -> _GtkWidget)) @@ -169,6 +171,9 @@ (define/public (on-paint) (void)) + (define/override (refresh) + (gtk_widget_queue_draw client-gtk)) + (define/override (internal-on-client-size w h) (send dc reset-dc-size))