From f887288be0d4ad202df1142ef971dace7ef07a81 Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Sun, 8 Jan 2006 12:30:04 +0000
Subject: [PATCH] enable undo for simple MrEd editor app

svn: r1783
---
 collects/mred/edit.ss           | 2 ++
 collects/mred/private/kernel.ss | 4 ++++
 2 files changed, 6 insertions(+)

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