Re: [isabelle] Cannot copy from output panel in Isabelle 2016?
Indeed, I am using the standard Unity setup in Ubuntu, though I use the GDK
look and feel within Isabelle/jEdit. My experience differs slightly from
Eugene however in that I cannot reliably copy from the output pane using
Ctrl+C, or rather I have to press Ctrl+C multiple times to ensure that
whatever I select is really copied to the clipboard. From testing, there
appears to be nothing wrong with my keyboard (I have no trouble pressing
Ctrl+C to copy in any other application, and even copying within the jEdit
editor frame works as expected), so whatever problem it is is localised to
the output frame.
On 12 Mar 2016 00:21, "Eugene W. Stark" <isabelle-users at starkeffect.com>
> I can only presume what Dominic is using, but I am using the standard Unity
> setup that ships with Ubuntu 14.04.
> As I mentioned in my response, it is in fact possible to copy text using
> However, I would normally expect to be able to copy text using right-click
> This does not work as expected. If you try to right click, the selection
> immediately cancelled and nothing goes into the selection buffer.
> - Gene
> On 03/11/2016 02:41 PM, Makarius wrote:
> > 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.
> > Makarius
This archive was generated by a fusion of
Pipermail (Mailman edition) and