From b57ac1081e7d0768be338f66ce00742a367bddbc Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 28 Feb 2003 14:34:51 +0000 Subject: [PATCH] . original commit: 74d2eef8af8e5d460046704ef6d5c4e49e1feac8 --- collects/mred/mred.ss | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/collects/mred/mred.ss b/collects/mred/mred.ss index fdf5bac6..782d3918 100644 --- a/collects/mred/mred.ss +++ b/collects/mred/mred.ss @@ -2510,8 +2510,10 @@ (define wx-basic-panel<%> (interface ())) -(define tab-h-border 2) -(define tab-v-border (if (eq? (system-type) 'macosx) +(define tab-h-border (if (eq? (system-type) 'windows) + 3 + 2)) +(define tab-v-border (if (memq (system-type) '(macosx macos)) 5 2)) @@ -2876,7 +2878,7 @@ height)) (let ([dy (child-info-y-min (car children-info))]) (map (lambda (i) - (list (+ (car i) tab-h-border) ;; hack! 2-pixel border assumed + (list (+ (car i) tab-h-border) (+ dy (cadr i) (- tab-v-border) -1) (caddr i) (cadddr i)))