I made a pull request here: https://github.com/racket/typed-racket/pull/328
but it fails, the error report shows that failures do not caused by my changes, I think... On Tue, Mar 29, 2016 at 7:27 PM, Sam Tobin-Hochstadt <sa...@cs.indiana.edu> wrote: > You can use `Editor-Snip%` by requiring it from `typed/racket/gui`. > > Sam > > On Tue, Mar 29, 2016 at 4:09 AM, WarGrey Gyoudmon Ju > <juzhenli...@gmail.com> wrote: > > Hello, I am currently building a desktop application (which is a > component > > of a production system for customer) in typed racket. > > > > I found that typed/private/gui-types.rkt does have the definition of > > Editor-Snip% but does not provide it in typed/racket/base. I do not know > > where is your prefer place to do this. Would you please make it > available? > > > > Thanks. > > > > > > BTW, Racket is also a great language to *design* GUI applications(in a > > programmable approach). Before I get deep into this kind of tasks, I > thought > > that the GUI infrastructure is poor, say, lacking of lots of useful > > controllers. Actually, lots of them can be built with editor<%> and > > racket/snip in few lines of code since this facility has a great (basic) > > abstraction. > > > > -- > > 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. > -- 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.
