Hi Edward, I don't think so. I use Linux Mint 17.2 KDE.
Leo 5.1-final, build 20151207062203, Mon Dec 7 06:22:03 CST 2015 Git repo info: branch = master, commit = 0d2b4de265f0 Python 2.7.6, PyQt version 4.8.6 linux2 Terry identified it as an encoding issue specific to Qt, but in reading about how to solve this it turns out that KDE reads the clipboard using Qt as well, so I am not sure if that is where the problem lies. My original "idea" was to enable Leo to read text/html from the clipboard and then convert and paste the string into Leo depending on the @language of the node. For example I could copy part of a web page (which all browsers on linux add to the clipboard as text/html) and paste it as markdown into a markdown node or rst in a rst node or as plain text into node with no @language setting. My solution doesn't address this added functionality in Leo, but it does solve my specific problem, on this specific OS/DE. Chris On Thursday, December 31, 2015 at 6:51:03 AM UTC-8, Edward K. Ream wrote: > > > > On Tuesday, December 29, 2015 at 5:29:16 PM UTC-5, Chris George wrote: >> >> I resolved this by coming at it from the other end. >> >> I created a shell script. >> >> pastedown.sh >> >> #!/bin/bash >> >> xclip -o -selection clipboard -t text/html|pandoc -r html -w markdown|xclip >> -i -selection clipboard >> >> >> Then I used the Custom Shortcuts feature in KDE to assign Ctrl-Shift-v to >> launch it. The script reads the clipboard, converts it to markdown and puts >> it back in the clipboard and then allows me to paste it into Leo using >> Ctrl-v as markdown. No encoding errors. >> > > Does this thread have any relevance to bug # 201 > <https://github.com/leo-editor/leo-editor/issues/201>? > > Edward > -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
