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: http://isabelle.in.tum.de/repos/isabelle/annotate/Isabelle2016/src/Tools/jEdit/src/pretty_text_area.scala#l233


	Makarius





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.