That will eliminate the non-text things. If you want to do things with those, you can create a text% object and use load-file and then manipulate the editor in lots of ways. That's the general thing.
You could ause use wxme-port->port, which is kind of inbetween the other two ways. It really depends on what you want to do with the files. Print them? Run grading scripts? Robby On Mon, Nov 1, 2010 at 11:28 AM, Jon Rafkind <[email protected]> wrote: > I think > > wxme-port->text-port > > http://docs.racket-lang.org/gui/WXME_Decoding.html?q=wxme&q=snip&q=snip#(def._((lib._wxme/main..rkt)._wxme-port-~3etext-port)) > > is what you want > > On 11/01/2010 10:25 AM, Adam Shaw wrote: > > Hi all -- > I'm grading a lot of racket files this quarter. A question: is there a > widget to extract the text from a .rkt file? > In other words, we'd like less of this > > 0 0 14 3 3 #"num" > 0 0 22 3 1 #")" > 0 0 128 3 1 #" " > 0 0 14 3 3 #"num" > 0 0 22 3 1 #"]" > 0 0 128 29 1 #"\n" > 0 0 128 3 4 #" " > 0 0 22 3 1 #"[" > > and more of this > > (if (foo x) y z) > > at least for grepping and other such occasional tasks. > Regards, > Adam > > > > > _________________________________________________ > For list-related administrative tasks: > http://lists.racket-lang.org/listinfo/users > > _________________________________________________ > For list-related administrative tasks: > http://lists.racket-lang.org/listinfo/users > _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
