Thanks, I found the elements by using wxme-port->port and read-char-or-special until I found something special and it turns out it was caused by fractions.
There are a couple weird things: (1) wxme-read reads them as numbers, not specials, and (2) the "fractions" are actually rendered in decimal form in the file when I open it in DrRacket, which is why I didn't spot them by looking at the file (now that I know where they are, I can see they're special because cursor moves past the entire number "71.25" as though it's a single character). But if I read-char-or-special on them, I get back something rendered as a fraction. Maybe this has something to do with a difference in preferences between me and the author of the file? Other than copy/pasting, I can seem to recreate a decimal-looking number that is actually a special fraction, so I'm not sure how the author of the file accomplished this. Thanks, David On Tue, Nov 7, 2017 at 2:24 PM, Robby Findler <ro...@eecs.northwestern.edu> wrote: > I believe this is the place that does the check: > > > https://github.com/racket/gui/blob/master/gui-lib/framework/private/text.rkt#L2300 > > Possibly some printfs in and around there would help? > > Robby > > > On Tue, Nov 7, 2017 at 1:03 PM, David Van Horn <dvanh...@cs.umd.edu> wrote: >> I have some ISL+ programs that are being saved in the WXME format, but >> I can't seem to find any element in the file that would trigger this >> format (no images, comment boxes, etc.). >> >> Is there some way to figure out why the files are being saved this way >> in DrRacket? >> >> Thanks, >> David >> >> -- >> 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.
