From 92bfec4659753c6f6b606d762a92a92e2e1acb81 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 8 Jul 2003 15:35:39 +0000 Subject: [PATCH] . original commit: 7e25e101de849e1051ba2e69ad27dde5fd8b98e6 --- collects/mred/mred.ss | 2 +- collects/mred/private/kernel.ss | 3 +++ 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/collects/mred/mred.ss b/collects/mred/mred.ss index b90e7d7d..912e3cf9 100644 --- a/collects/mred/mred.ss +++ b/collects/mred/mred.ss @@ -2224,7 +2224,7 @@ [on-container-resize (lambda () (let ([edit (get-editor)]) (when edit - (as-exit (lambda () (send edit on-display-size))))))] + (as-exit (lambda () (send edit on-display-size-when-ready))))))] [on-set-focus (entry-point (lambda () diff --git a/collects/mred/private/kernel.ss b/collects/mred/private/kernel.ss index 12d47a29..d666c0b5 100644 --- a/collects/mred/private/kernel.ss +++ b/collects/mred/private/kernel.ss @@ -255,6 +255,7 @@ resized set-caret-owner scroll-to + on-display-size-when-ready on-display-size on-change on-focus @@ -847,6 +848,7 @@ resized set-caret-owner scroll-to + on-display-size-when-ready on-display-size on-change on-focus @@ -1051,6 +1053,7 @@ resized set-caret-owner scroll-to + on-display-size-when-ready on-display-size on-change on-focus