fix canvas% refresh for Gtk

original commit: 1aab1c78a3b88ed75b7c20161aa1dfa04ca35d76
This commit is contained in:
Matthew Flatt 2010-06-12 10:50:16 -06:00
parent bfef0ad308
commit 7ea46ac0f3

View File

@ -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))