another Gtk frame-size repair

This commit is contained in:
Matthew Flatt 2010-07-31 11:48:17 -06:00
parent 4425dd894d
commit 3d9c68105e
2 changed files with 6 additions and 7 deletions

View File

@ -191,9 +191,9 @@
(if (= x -11111) -2 x)
(if (= y -11111) -2 y)))
(define/override (set-top-size x y w h)
(define/override (really-set-size gtk x y w h)
(set-top-position x y)
(gtk_window_resize gtk w h))
(gtk_window_resize gtk (max 1 w) (max 1 h)))
(define/override (direct-show on?)
(super direct-show on?)

View File

@ -273,16 +273,15 @@
(unless (= h -1) (set! save-h h))
(tentative-client-size (+ save-w client-delta-w)
(+ save-h client-delta-h))
(if parent
(send parent set-child-size gtk save-x save-y save-w save-h)
(set-top-size save-x save-y save-w save-h))))
(really-set-size gtk save-x save-y save-w save-h)))
(define/public (really-set-size gtk x y w h)
(send parent set-child-size gtk x y w h))
(define/public (set-child-size child-gtk x y w h)
(gtk_widget_set_size_request child-gtk w h)
(gtk_widget_size_allocate child-gtk (make-GtkAllocation x y w h)))
(define/public (set-top-size x y w h) (void))
(define/public (remember-size w h)
;; called in event-pump thread
(unless (and (= save-w w)