From 211be167b72616b2e00c303574ae45e00faa26eb Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 13 May 2008 11:59:16 +0000 Subject: [PATCH] made a little more space between the text and the icon svn: r9823 --- collects/mrlib/switchable-button.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/mrlib/switchable-button.ss b/collects/mrlib/switchable-button.ss index b86433565f..6b2228d569 100644 --- a/collects/mrlib/switchable-button.ss +++ b/collects/mrlib/switchable-button.ss @@ -3,7 +3,7 @@ scheme/class) (provide switchable-button%) -(define gap 2) +(define gap 4) ;; space between the text and the icon (define margin 2) (define w-circle-space 6) (define h-circle-space 6)