From f788f8c4c7a4bdee4fae694f16bfc33a5db9f7b9 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Thu, 14 Jul 2011 12:23:24 -0400 Subject: [PATCH] Popup formatting. --- collects/typed-scheme/optimizer/tool/display.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/collects/typed-scheme/optimizer/tool/display.rkt b/collects/typed-scheme/optimizer/tool/display.rkt index ce16732dc2..c6c9996e0d 100644 --- a/collects/typed-scheme/optimizer/tool/display.rkt +++ b/collects/typed-scheme/optimizer/tool/display.rkt @@ -37,6 +37,7 @@ ;; add to the main editor (send pane insert (new editor-snip% [editor location-text] [with-border? #f])) + (send pane insert-port (open-input-string "\n")) (define syntax-text (new text:basic%)) ;; typeset the syntax as code @@ -60,6 +61,7 @@ (send pane insert (new editor-snip% [editor syntax-text] [max-width popup-width] [with-border? #f] [bottom-margin 10])) + (send pane insert-port (open-input-string "\n")) (define message-text (new text:basic% [auto-wrap #t])) (send message-text insert-port (open-input-string msg)) @@ -72,7 +74,7 @@ [with-border? #f] [top-margin 10] [bottom-margin 15])) ;; to place the next sub-entry below - (send pane insert-port (open-input-string "\n"))) + (send pane insert-port (open-input-string "\n\n"))) (define lowest-badness-color (make-object color% "pink")) (define highest-badness-color (make-object color% "red"))