From c57282d01cd90029e8ef1466d4ea8b1b5dac6ea1 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 17 Sep 2002 15:59:03 +0000 Subject: [PATCH] . original commit: fb3d8a73bbf426690fd046d429d521a6f0b29aea --- collects/mred/mred-sig.ss | 1 + 1 file changed, 1 insertion(+) diff --git a/collects/mred/mred-sig.ss b/collects/mred/mred-sig.ss index e24a6554..a2933039 100644 --- a/collects/mred/mred-sig.ss +++ b/collects/mred/mred-sig.ss @@ -94,6 +94,7 @@ grow-box-spacer-pane% horizontal-pane% horizontal-panel% + tab-panel% image-snip% is-busy? is-color-display?