From 5521e3ad5e089108c7d19a9b8e3b0d298fe00ed7 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Wed, 27 Jul 2011 14:35:49 -0400 Subject: [PATCH] Lock the top-level editor of the popup. --- collects/typed-scheme/optimizer/tool/display.rkt | 1 + 1 file changed, 1 insertion(+) diff --git a/collects/typed-scheme/optimizer/tool/display.rkt b/collects/typed-scheme/optimizer/tool/display.rkt index 784170a1a9..598f165c35 100644 --- a/collects/typed-scheme/optimizer/tool/display.rkt +++ b/collects/typed-scheme/optimizer/tool/display.rkt @@ -22,6 +22,7 @@ (new editor-canvas% [parent win] [editor pane] [style '(no-hscroll)])) (for-each (format-sub-report-entry pane) subs) (send canvas scroll-to 0 0 0 0 #t) ; display the beginning + (send pane lock #t) (send win show #t)) ;; each sub-entry is displayed in its own text%, contained in the main