From 12e5ae0cca91d9a2de14b61b1fdde446799d3fe4 Mon Sep 17 00:00:00 2001 From: Danny Yoo Date: Sat, 12 Jul 2008 22:46:47 +0000 Subject: [PATCH] Added port name source to the input port returned by framework text's get-in-port; this addresses the bug of the source highlighting not showing when the source stx comes from interaction window. svn: r10729 original commit: 47bed6d1e7825616710dfdf43ca365a6a3b1c2b3 --- collects/framework/private/text.ss | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/collects/framework/private/text.ss b/collects/framework/private/text.ss index 2e5df682..3a5bf0dc 100644 --- a/collects/framework/private/text.ss +++ b/collects/framework/private/text.ss @@ -1077,6 +1077,7 @@ WARNING: printf is rebound in the body of the unit to always get-end-position get-snip-position get-style-list + get-port-name is-locked? last-position lock @@ -1684,9 +1685,9 @@ WARNING: printf is rebound in the body of the unit to always (super-new) (init-output-ports) (define-values (in-port read-chan clear-input-chan) - (start-text-input-port this #f)) + (start-text-input-port (get-port-name) #f)) (define-values (in-box-port box-read-chan box-clear-input-chan) - (start-text-input-port this (lambda () (on-box-peek)))))) + (start-text-input-port (get-port-name) (lambda () (on-box-peek)))))) (define input-box<%> (interface ((class->interface text%))