From 738f26ba20ec0c03df6fb9d1617e0c025f0d7958 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 4 Sep 2001 21:38:58 +0000 Subject: [PATCH] ... original commit: cc5768959b1d536ce936b2dd085bc1b8369e80fa --- collects/framework/private/panel.ss | 4 ++-- collects/framework/private/sig.ss | 1 + 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/collects/framework/private/panel.ss b/collects/framework/private/panel.ss index bc85c239..aaa47e4e 100644 --- a/collects/framework/private/panel.ss +++ b/collects/framework/private/panel.ss @@ -182,14 +182,14 @@ ;; type percentage : (make-percentage number) (define-struct percentage (%)) - (define dragable<%> + (define vertical-dragable<%> (interface ((class->interface vertical-panel%)) after-percentage-change set-percentages get-percentages)) (define vertical-dragable-mixin - (mixin ((class->interface vertical-panel%)) (dragable<%>) + (mixin ((class->interface vertical-panel%)) (vertical-dragable<%>) (init parent) (super-instantiate (parent)) (inherit get-client-size container-flow-modified) diff --git a/collects/framework/private/sig.ss b/collects/framework/private/sig.ss index c36353bc..f6dfaedb 100644 --- a/collects/framework/private/sig.ss +++ b/collects/framework/private/sig.ss @@ -53,6 +53,7 @@ single-pane% ;;multi-view% + vertical-dragable<%> vertical-dragable-mixin vertical-dragable%))