Le 14/07/2015 18:12, Matthew Flatt a écrit :
If you're trying to move the text from one editor to another, then it's probably easiest to use the `copy` and `paste` methods.
No, I try to convert it into html format. But first i need to get the text + styles applied to some part of the text.
-- 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.