From 3c17a310ee80c2bc4b360e53ee8137d75769dea6 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Fri, 2 Jun 2006 19:08:32 +0000 Subject: [PATCH] svn: r3188 --- collects/version/tool.ss | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/version/tool.ss b/collects/version/tool.ss index e42dff7d17..4f6bc12032 100644 --- a/collects/version/tool.ss +++ b/collects/version/tool.ss @@ -113,7 +113,8 @@ (make-object message% (string-constant version:connecting-server) this) - (make-object button% (string-constant abort) this + (make-object button% + (string-constant abort) this (lambda (b e) (kill-thread t) (send this show #f))