suzanne.soy/gui
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

gtk: make list-box% min size non-zero for content

Browse Source 
original commit: 594447ae7ef0b0e1a171bd5897482153f0c4a4f4
This commit is contained in:
Matthew Flatt 2011-09-03 10:44:37 -06:00
parent a08a642aa5
commit a3b41a2b44
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/mred/private/wx/gtk/list-box.rkt
View File

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

6
collects/mred/private/wx/gtk/window.rkt
View File

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