From cd9b05b153e35979ce27efa761dbf9d7940a4e63 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sun, 2 Mar 2003 03:47:07 +0000 Subject: [PATCH] . original commit: 14c1516be5a980072eacfd70d84b091c577587dc --- collects/mred/mred.ss | 8 +++++++- collects/mred/private/kernel.ss | 4 ++++ 2 files changed, 11 insertions(+), 1 deletion(-) diff --git a/collects/mred/mred.ss b/collects/mred/mred.ss index 7aa09f51..36c9de21 100644 --- a/collects/mred/mred.ss +++ b/collects/mred/mred.ss @@ -3414,6 +3414,8 @@ '(hide-hscroll)) '(hide-vscroll hide-hscroll)))]) (sequence + (send c set-x-margin 2) + (send c set-y-margin 2) (send e set-paste-text-only #t) (send e auto-wrap (and multi? (not (memq 'hscroll style)))) (let ([f (get-control-font)] @@ -3438,7 +3440,7 @@ [abox (box 0)]) ; To bottom of first line (send (send e get-admin) get-dc #f ybox) - (set! dy (+ -3 (abs (unbox ybox)) (send e line-location 0 #f))) ; 3 is fudge factor + (set! dy (+ -3 (abs (unbox ybox)) (send e line-location 0 #f))) ; -3 is fudge factor ; Add diff for client size (send c get-client-size wbox hbox) @@ -4603,6 +4605,10 @@ (check-string '(method text-control<%> set-value) v) (send wx set-value v)))]) (sequence + ;; Technically a bad way to change margin defaults, since it's + ;; implemented with an update after creation: + (when (eq? horiz-margin no-val) (set! horiz-margin 2)) + (when (eq? vert-margin no-val) (set! vert-margin 2)) (as-entry (lambda () (super-init (lambda () diff --git a/collects/mred/private/kernel.ss b/collects/mred/private/kernel.ss index bff9e414..b3cae1b9 100644 --- a/collects/mred/private/kernel.ss +++ b/collects/mred/private/kernel.ss @@ -632,6 +632,10 @@ on-kill-focus popup-for-editor call-as-primary-owner + set-y-margin + set-x-margin + get-y-margin + get-x-margin scroll-to set-lazy-refresh get-lazy-refresh