From a3b41a2b444c46de74dbf78f9a14a85ba7d1d09a Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sat, 3 Sep 2011 10:44:37 -0600 Subject: [PATCH] gtk: make list-box% min size non-zero for content original commit: 594447ae7ef0b0e1a171bd5897482153f0c4a4f4 --- collects/mred/private/wx/gtk/list-box.rkt | 2 +- collects/mred/private/wx/gtk/window.rkt | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/collects/mred/private/wx/gtk/list-box.rkt b/collects/mred/private/wx/gtk/list-box.rkt index c112f034..19790996 100644 --- a/collects/mred/private/wx/gtk/list-box.rkt +++ b/collects/mred/private/wx/gtk/list-box.rkt @@ -211,7 +211,7 @@ [font font] [no-show? (memq 'deleted style)]) - (set-auto-size) + (set-auto-size 32) ; 32 is extra width (connect-changed selection) (connect-activated client-gtk) diff --git a/collects/mred/private/wx/gtk/window.rkt b/collects/mred/private/wx/gtk/window.rkt index ef2a9b2f..50553474 100644 --- a/collects/mred/private/wx/gtk/window.rkt +++ b/collects/mred/private/wx/gtk/window.rkt @@ -510,13 +510,13 @@ (set! client-delta-h (- (GtkRequisition-height req) (GtkRequisition-height creq)))))) - (define/public (set-auto-size) + (define/public (set-auto-size [dw 0] [dh 0]) (let ([req (make-GtkRequisition 0 0)]) (gtk_widget_size_request gtk req) (set-size -11111 -11111 - (GtkRequisition-width req) - (GtkRequisition-height req)))) + (+ (GtkRequisition-width req) dw) + (+ (GtkRequisition-height req) dh)))) (define shown? #f) (define/public (direct-show on?)