Another approach might be to use multiple editor-snip% https://docs.racket-lang.org/gui/editor-snip_.html within a pasteboard% https://docs.racket-lang.org/gui/pasteboard_.html
Or possibly together with other snip instances, I currently don't have the time to experiment with it and no experience with pasteboards, so I am not sure whether that would work well and I am just dropping the idea ;) -- 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/6facbadb-2125-4077-b3f9-e4665bd25265o%40googlegroups.com.
