Re: [isabelle] Cannot copy from output panel in Isabelle 2016?
On Thu, 10 Mar 2016, Dominic Mulligan via Cl-isabelle-users wrote:
I have just upgraded to Isabelle 2016 from Isabelle 2015 in the last few
days and I have noticed that I cannot copy text from the output
panel/proof state into the jEdit editor pane. I didn't previously have
this problem with Isabelle 2015 and was wondering whether this is a
known problem, and if there is a workaround for it as it is impacting my
ability to work efficiently? I am using Ubuntu 14.04 LTS.
What is your window manager?
What is your Java Swing look-and-feel?
I've made a quick test with a standard installation of Ubuntu 14.04, with
Isabelle2016 using fresh defaults: no problem to copy from Output or State
panel -- using C+C or C+INSERT as usual.
It is also possible that old jEdit properties copied from Isabelle2015 or
Isabelle2016 cause problems. By default nothing is done in this respect,
and it is the responsibility of the user to do this carefully by hand.
This archive was generated by a fusion of
Pipermail (Mailman edition) and