From 7c3025ecde31d224f46fd7be1fea94f640524162 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Sat, 6 Mar 2010 01:35:19 +0000
Subject: [PATCH] fixed some more bugs found by random testing

svn: r18478
---
 collects/mred/private/syntax.ss                 | 4 +++-
 collects/mred/private/wxme/text.ss              | 2 +-
 collects/scribblings/gui/editor-intf.scrbl      | 2 +-
 collects/scribblings/gui/pasteboard-class.scrbl | 8 +++-----
 4 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/collects/mred/private/syntax.ss b/collects/mred/private/syntax.ss
index c3dc44ce90..196c7ce897 100644
--- a/collects/mred/private/syntax.ss
+++ b/collects/mred/private/syntax.ss
@@ -4,7 +4,7 @@
          (for-syntax scheme/base))
 
 (provide defclass defclass*
-         def/public def/override define/top case-args
+         def/public def/override def/override-final define/top case-args
          maybe-box? any? bool? nonnegative-real? make-or-false make-box make-list make-alts 
          make-literal symbol-in make-procedure
          method-name init-name
@@ -26,6 +26,8 @@
   #`(def/thing define/public #,stx))
 (define-syntax (def/override stx)
   #`(def/thing define/override #,stx))
+(define-syntax (def/override-final stx)
+  #`(def/thing define/override-final #,stx))
 (define-syntax (define/top stx)
   #`(def/thing define #,stx))
 
diff --git a/collects/mred/private/wxme/text.ss b/collects/mred/private/wxme/text.ss
index 21d3115c7d..15169771e8 100644
--- a/collects/mred/private/wxme/text.ss
+++ b/collects/mred/private/wxme/text.ss
@@ -749,7 +749,7 @@
         (not s-admin)
         (send s-admin refresh-delayed?)))
 
-  (def/override (in-edit-sequence?)
+  (def/override-final (in-edit-sequence?)
     (delay-refresh . > . 0))
 
   (def/override (locations-computed?)
diff --git a/collects/scribblings/gui/editor-intf.scrbl b/collects/scribblings/gui/editor-intf.scrbl
index e35ffd3d3c..2d85229a7b 100644
--- a/collects/scribblings/gui/editor-intf.scrbl
+++ b/collects/scribblings/gui/editor-intf.scrbl
@@ -905,7 +905,7 @@ See also @method[editor<%> local-to-global].
 
 }
 
-@defmethod[(in-edit-sequence?)
+@defmethod[#:mode 'public-final (in-edit-sequence?)
            boolean?]{
 
 Returns @scheme[#t] if updating on this editor is currently delayed
diff --git a/collects/scribblings/gui/pasteboard-class.scrbl b/collects/scribblings/gui/pasteboard-class.scrbl
index 0be1c6a0fc..36f8759fb3 100644
--- a/collects/scribblings/gui/pasteboard-class.scrbl
+++ b/collects/scribblings/gui/pasteboard-class.scrbl
@@ -611,14 +611,12 @@ The @scheme[x] and @scheme[y] arguments are in editor coordinates. If
 }
 
 
-@defmethod[(get-center [x (box/c real?)]
-                       [y (box/c real?)])
-           void?]{
+@defmethod[(get-center) (values real? real?)]{
 
 Returns the center of the pasteboard in pasteboard coordinates.
 
-The @scheme[x] box is filled with the x-coordinate of the center and
-@scheme[y] is filled with the y-coordinate of the center.
+The first result is the x-coordinate of the center and
+the second result is the y-coordinate of the center.
 
 }