Ok, for reference, in ‘share/pkgs/drracket/drracket/private/rep.rkt’ it extends:
(class->interface text%) text:ports<%> editor:file<%> racket:text<%> color:text<%> Of the methods it adds to that, the ones not documented under ‘drracket:rep:text%’ are: copy-next-previous-expr copy-prev-previous-expr copy-previous-expr get-context get-definitions-text get-error-ranges get-prompt reset-error-ranges On Sunday, 9 April 2017 16:00:41 UTC-4, Daniel Feltey wrote: > I think the intention of the docs is that `drracket:rep:text<%>` is the > interface for all of the methods listed under the `drracket:rep:text%` class. > It looks like at the very least it extends the `racket:text<%>` interface, > this is likely just an oversight in the documentation. > > Dan > > > > On Sun, Apr 9, 2017 at 2:50 PM, gfb <g...@cs.toronto.edu> wrote: > The docs for ‘drracket:rep:text<%>’ just say it's an interface, without > listing any interfaces it extends, nor methods it contains. Is there a public > API it's meant to have and have documented? > > > > -- > > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-users...@googlegroups.com. > > For more options, visit https://groups.google.com/d/optout. On Sunday, 9 April 2017 16:00:41 UTC-4, Daniel Feltey wrote: > I think the intention of the docs is that `drracket:rep:text<%>` is the > interface for all of the methods listed under the `drracket:rep:text%` class. > It looks like at the very least it extends the `racket:text<%>` interface, > this is likely just an oversight in the documentation. > > Dan > > > > On Sun, Apr 9, 2017 at 2:50 PM, gfb <g...@cs.toronto.edu> wrote: > The docs for ‘drracket:rep:text<%>’ just say it's an interface, without > listing any interfaces it extends, nor methods it contains. Is there a public > API it's meant to have and have documented? > > > > -- > > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-users...@googlegroups.com. > > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
