From e14504de3a8ebbadb53a2b00e7ac5f6aba79e150 Mon Sep 17 00:00:00 2001
From: Asumu Takikawa <asumu@ccs.neu.edu>
Date: Tue, 26 Nov 2013 17:10:19 -0500
Subject: [PATCH] GUI doc fixes

Two of the contracts were inaccurate and, if true, would
have violated subtyping between editor<%> and text%.

Please merge to v6.0
(cherry picked from commit 287a59ce124a7747e5316854ad7a727287923a55)
---
 .../scribblings/gui/style-delta-class.scrbl       |  2 +-
 .../gui-doc/scribblings/gui/text-class.scrbl      | 15 +++++++++------
 2 files changed, 10 insertions(+), 7 deletions(-)

diff --git a/pkgs/gui-pkgs/gui-doc/scribblings/gui/style-delta-class.scrbl b/pkgs/gui-pkgs/gui-doc/scribblings/gui/style-delta-class.scrbl
index af9db7426f..c408aba77e 100644
--- a/pkgs/gui-pkgs/gui-doc/scribblings/gui/style-delta-class.scrbl
+++ b/pkgs/gui-pkgs/gui-doc/scribblings/gui/style-delta-class.scrbl
@@ -323,7 +323,7 @@ Gets the multiplicative color shift for the foreground (applied before
                                                'change-smoothing
                                                'change-toggle-smoothing
                                                'change-alignment)]
-                         [param symbol])
+                         [param symbol?])
               (is-a?/c style-delta%)]
              [(set-delta [change-command (or/c 'change-size
                                                'change-bigger
diff --git a/pkgs/gui-pkgs/gui-doc/scribblings/gui/text-class.scrbl b/pkgs/gui-pkgs/gui-doc/scribblings/gui/text-class.scrbl
index 482d3a3072..c7f1037f11 100644
--- a/pkgs/gui-pkgs/gui-doc/scribblings/gui/text-class.scrbl
+++ b/pkgs/gui-pkgs/gui-doc/scribblings/gui/text-class.scrbl
@@ -1647,7 +1647,7 @@ If the previous operation on the editor was not a paste, calling
 
 
 @defmethod[#:mode override
-           (paste-x-selection [time exact-integer?]
+           (paste-x-selection [time exact-integer? 0]
                               [start (or/c exact-nonnegative-integer? 'start 'end) 'start]
                               [end (or/c exact-nonnegative-integer? 'same) 'same])
            void?]{
@@ -1739,11 +1739,14 @@ Returns the paragraph number of the paragraph containing a given @techlink{posit
 }
 
 
-@defmethod[#:mode extend
-           (read-from-file [stream (is-a?/c editor-stream-in%)]
-                           [start (or/c exact-nonnegative-integer? 'start)]
-                           [overwrite-styles? any/c #f])
-           boolean?]{
+@defmethod*[#:mode extend
+            ([(read-from-file [stream (is-a?/c editor-stream-in%)]
+                              [start (or/c exact-nonnegative-integer? 'start)]
+                              [overwrite-styles? any/c #f])
+              boolean?]
+             [(read-from-file [stream (is-a?/c editor-stream-in%)]
+                              [overwrite-styles? any/c #f])
+              boolean?])]{
 
 New data is inserted at the @techlink{position} indicated by @racket[start], or at
  the current @techlink{position} if @racket[start] is @racket['start].