On Tue, 8 Jul 2014, Joachim Breitner wrote:
* No select-to-clipboard in the output window under Linux.
Can you say more explicitly what you mean? The output has its own very simple selection and copy mechanism, unlike the main text area. But this should not have changed wrt. the last release, IIRC.