At Wed, 22 Jul 2015 18:41:14 +0200, mazert wrote: > 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.
I think you'll have to iterate through the snips in the editor (starting with the one produced by `find-first-snip` then using the `next` method on each snip), use the `get-style` method to get each snip's style, and then inspect the style. -- 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.
