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))