.

original commit: 83205fd7d3d200dee7702f8ce66e0d4fb8a2e0c5

collects/mred/mred-sig.ss

@@ -142,6 +142,7 @@
      readable-snip<%>
      read-editor-global-footer
      read-editor-global-header
+     read-editor-version
      region%
      register-collecting-blit
      scroll-event%
@@ -183,6 +184,7 @@
      window<%>
      write-editor-global-footer
      write-editor-global-header
+     write-editor-version
      write-resource
      yield
      )))

collects/mred/mred.ss

@@ -7661,6 +7661,7 @@
 	   ps-setup%
 	   read-editor-global-footer
 	   read-editor-global-header
+	   read-editor-version
 	   region%
 	   scroll-event%
 	   snip%
@@ -7677,6 +7678,7 @@
 	   tab-snip%
 	   write-editor-global-footer
 	   write-editor-global-header
+	   write-editor-version
 	   write-resource
 	   queue-callback
 	   yield

collects/mred/private/kernel.ss

@@ -288,6 +288,8 @@
   (define-function write-editor-global-header)
   (define-function read-editor-global-footer)
   (define-function read-editor-global-header)
+  (define-function read-editor-version)
+  (define-function write-editor-version)
   (define-function set-editor-print-margin)
   (define-function get-editor-print-margin)
   (define-class bitmap% object% #f