Re: [isabelle] Cannot copy from output panel in Isabelle 2016?
On Fri, 11 Mar 2016, Eugene W. Stark wrote:
it is in fact possible to copy text using C-C/C-V. However, I would
normally expect to be able to copy text using right-click copy. This
does not work as expected. If you try to right click, the selection is
immediately cancelled and nothing goes into the selection buffer.
There is a slight non-uniformity of the main jEdit text areas vs. addition
GUI components, like the Output, State, Info panels. In particular, the
latter don't have standard menu or keyboard actions of jEdit: only a
subset is imitated.
The copy operation in that case is a rather unexciting key event handler:
This archive was generated by a fusion of
Pipermail (Mailman edition) and