diff --git a/collects/mred/edit.ss b/collects/mred/edit.ss index 25d6c48d8b..50f56344c6 100644 --- a/collects/mred/edit.ss +++ b/collects/mred/edit.ss @@ -152,6 +152,8 @@ (if (regexp-match "[.](gif|bmp|jpe?g|xbm|xpm|png)$" file) (send e insert (make-object image-snip% file)) (send e load-file file))) + + (send e set-max-undo-history 'forever) (send f show #t) f))) diff --git a/collects/mred/private/kernel.ss b/collects/mred/private/kernel.ss index 3b5938b9ef..013790272f 100644 --- a/collects/mred/private/kernel.ss +++ b/collects/mred/private/kernel.ss @@ -226,6 +226,7 @@ load-file insert-port save-port + get-default-style-name get-flattened-text put-file get-file @@ -885,6 +886,7 @@ get-end-position get-start-position get-position + get-default-style-name get-flattened-text put-file get-file @@ -987,6 +989,7 @@ get) (define-class editor-stream-out% object% #f ok? + pretty-finish jump-to tell put-fixed @@ -1094,6 +1097,7 @@ do-copy delete insert + get-default-style-name get-flattened-text put-file get-file