Lock the top-level editor of the popup.

2011-07-27 14:35:49 -04:00 · 2011-07-27 14:35:49 -04:00 · 5521e3ad5e
commit 5521e3ad5e
parent 7585edbcb6
1 changed files with 1 additions and 0 deletions
--- 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