From b0da3f772724e6f34dd2f8022fd62b12e139c8cc Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sat, 28 May 2005 11:32:15 +0000 Subject: [PATCH] . original commit: 329e68f0b58a61eff9e58c95d10aae97d19b52ef --- collects/mred/private/editor.ss | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/collects/mred/private/editor.ss b/collects/mred/private/editor.ss index 3f3578b8..433a24a0 100644 --- a/collects/mred/private/editor.ss +++ b/collects/mred/private/editor.ss @@ -45,6 +45,7 @@ -get-current-format -get-file-format -set-file-format + -set-position -set-format) (define (check-format who format) @@ -104,6 +105,7 @@ [-format-filter (lambda (f) f)] [-format-filter/save (lambda (f) f)] [-set-file-format (lambda (f) (void))] + [-set-position (lambda () (void))] [-get-file-format (lambda () 'standard)]) (override* @@ -173,7 +175,8 @@ (super-get-load-overwrites-styles))))]) (close-input-port port) ; close as soon as possible (when load? - (-set-file-format new-format))))) ; text% only + (-set-file-format new-format) + (-set-position))))) ; text% only (lambda () (super-end-edit-sequence) (wx:end-busy-cursor))) @@ -376,8 +379,9 @@ [-get-file-format (lambda () (super-get-file-format))] [-set-file-format (lambda (format) - (super-set-file-format format) - (super-set-position 0 0))]) + (super-set-file-format format))] + [-set-position (lambda () + (super-set-position 0 0))]) (augmentize (#t can-insert? s e) ((void) on-insert s e)