From 3897bb532bce987ae57926f165f83605a725ed84 Mon Sep 17 00:00:00 2001 From: Mike MacHenry Date: Tue, 16 Dec 2003 22:07:57 +0000 Subject: [PATCH] ... original commit: 85df2ac91a907aa6dee13c4f73ebd4154acc0986 --- collects/mrlib/aligned-pasteboard.ss | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/collects/mrlib/aligned-pasteboard.ss b/collects/mrlib/aligned-pasteboard.ss index a9d30c5b..a6c1e084 100644 --- a/collects/mrlib/aligned-pasteboard.ss +++ b/collects/mrlib/aligned-pasteboard.ss @@ -2,7 +2,8 @@ (require "private/aligned-pasteboard/aligned-pasteboard.ss" "private/aligned-pasteboard/aligned-editor-container.ss" - "private/aligned-pasteboard/interface.ss") + "private/aligned-pasteboard/interface.ss" + "private/aligned-pasteboard/stretchable-editor-snip.ss") (provide vertical-pasteboard% horizontal-pasteboard% @@ -11,6 +12,5 @@ aligned-pasteboard<%> aligned-pasteboard-parent<%> stretchable-snip<%> - ;stretchable-text-snip% - ;stretchable-text-snip-mixin - )) + stretchable-editor-snip% + stretchable-editor-snip-mixin))