From 2f9536a416fa4d185c222d50ce5fcc89f9b75743 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 20 Aug 2013 13:52:32 -0600 Subject: [PATCH] racket/gui: adjust label size on some controls Extra margins added by instantiating `message%' inside `radio-box%', etc., made labels line up especially badly. original commit: b24eb311dd744db70f0ae29a18994555b4499dea --- pkgs/gui-pkgs/gui-lib/mred/private/wx/cocoa/radio-box.rkt | 1 + pkgs/gui-pkgs/gui-lib/mred/private/wxlitem.rkt | 1 + 2 files changed, 2 insertions(+) diff --git a/pkgs/gui-pkgs/gui-lib/mred/private/wx/cocoa/radio-box.rkt b/pkgs/gui-pkgs/gui-lib/mred/private/wx/cocoa/radio-box.rkt index 2b883632..79f90406 100644 --- a/pkgs/gui-pkgs/gui-lib/mred/private/wx/cocoa/radio-box.rkt +++ b/pkgs/gui-pkgs/gui-lib/mred/private/wx/cocoa/radio-box.rkt @@ -83,6 +83,7 @@ RacketImageButtonCell) numberOfRows: #:type _NSInteger (if horiz? 1 (length labels)) numberOfColumns: #:type _NSInteger (if horiz? (length labels) 1)))]) + (tellv cocoa setIntercellSpacing: #:type _NSSize (make-NSSize 2 2)) (for ([label (in-list labels)] [i (in-naturals)]) (let ([button (tell cocoa diff --git a/pkgs/gui-pkgs/gui-lib/mred/private/wxlitem.rkt b/pkgs/gui-pkgs/gui-lib/mred/private/wxlitem.rkt index a32d650c..78077b7b 100644 --- a/pkgs/gui-pkgs/gui-lib/mred/private/wxlitem.rkt +++ b/pkgs/gui-pkgs/gui-lib/mred/private/wxlitem.rkt @@ -42,6 +42,7 @@ (define (make-label label proxy p font) (and label (let ([l (make-object wx-message% #f proxy p label -1 -1 null font)]) + (send l x-margin 0) (send l y-margin 0) (send l skip-enter-leave-events #t) (send l skip-subwindow-events? #t) l)))