5:39:06lokeAfter this, it should be rather easy to be able to copy "rich text" as HTML.
5:39:43lokeIn other words, if I shift-drag on a stream pane that contains text in bold, for example, you can paste that into the rich text editor in Google Docs or the WIkipedia editor, and it will preserve the highlighting.
5:46:07lokeThere. Now any copy in Drei will result in the text also being added to the clipboard. That means I can press C-k to kill a line, and then C-v in the browser to paste it.
6:12:14lokeShould I change it so that plain middle-click is paste from selection?
6:12:45lokeIt used to be shifted so that it wouldn't interfere with other uses of middle-click, but I've fixed that now so that the middle click is only detected when it should be.