From 8bf88c87816768712d49d6cb66a31ad01799eae5 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sun, 10 Nov 1996 19:30:35 +0000 Subject: [PATCH] made default panel spacing 0 and made all panels use defaults original commit: 2bcd727516f3f7617226c3ee4276d07d619f2d77 --- collects/mred/finder.ss | 6 +----- collects/mred/prefs.ss | 3 --- 2 files changed, 1 insertion(+), 8 deletions(-) diff --git a/collects/mred/finder.ss b/collects/mred/finder.ss index 370323cf..d5af4d0e 100644 --- a/collects/mred/finder.ss +++ b/collects/mred/finder.ss @@ -326,10 +326,7 @@ "Show files and directories that begin with a period") (send period-panel stretchable-in-y #f)) - (send* directory-panel - (stretchable-in-y #f) - (border 0) - (spacing 0)) + (send directory-panel stretchable-in-y #f) (let ([canvas (make-object mred:canvas:one-line-canvas% directory-panel -1 -1 -1 20 "" (+ wx:const-mcanvas-hide-h-scroll wx:const-mcanvas-hide-v-scroll))]) @@ -341,7 +338,6 @@ (lambda (button evt) (do-go)) "Go") - (send main-panel spacing 1) (when multi-mode? (send add-panel stretchable-in-y #f) (send remove-panel stretchable-in-y #f) diff --git a/collects/mred/prefs.ss b/collects/mred/prefs.ss index 96bfd175..7e017c1b 100644 --- a/collects/mred/prefs.ss +++ b/collects/mred/prefs.ss @@ -216,14 +216,11 @@ [h (make-object mred:horizontal-panel% main)] [c (make-object mred:check-box% h callback title)] [p (make-object mred:horizontal-panel% h)]) - (send* h (spacing 1) (border 1)) - (send* p (spacing 1) (border 1)) (send c set-value initial-value) (add-preference-callback pref (lambda (p v) (send c set-value (pref->bool v))))))] [id (lambda (x) x)]) - (send main spacing 1) (make-check 'mred:highlight-parens "Highlight between matching parens?" id id) (make-check 'mred:paren-match/fixup-parens "Flash paren match and correct parens?" id id)