I use the same Clipboard.js library on Beautiful Racket to support code copying. (I use v.1.5.15, though apparently the lib is now at 2.0.6).
I've not had any problems or complaints. One wrinkle in implementation is that you don't want to pass formatted HTML to the clipboard. Obviously, what the user wants is the plain code. What I found is that I had to put two versions of each code block on the page: one that's visible, with all the styling annotations, and one that's plain (though not plain text — you still need to observe HTML whitespace and escaping conventions) that gets fed to the clipboarding function. I suppose one could go the other way, and scrape the formatting markup off the visible code. I have no patience for this kind of "software" "engineering". > On Apr 8, 2020, at 10:45 AM, Greg Trzeciak <gtrzec...@gmail.com> wrote: > > I forgot the dependecy used: > <script type="text/javascript" > > src="http://cdnjs.cloudflare.com/ajax/libs/clipboard.js/1.4.2/clipboard.min.js";></script> > > > On Wednesday, April 8, 2020 at 7:24:20 PM UTC+2, Greg Trzeciak wrote: > Found in an old file of mine: > On Wednesday, April 8, 2020 at 6:54:37 PM UTC+2, Stephen De Gabrielle wrote: > That’s a good suggestion! Do you know the relevant JavaScript we can try it > out with. Might be an easy PR. -- 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. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/ECBD5E41-745F-4081-826A-F7A26D92C761%40mbtype.com.
