Re: [isabelle] Isabelle2013-RC2 available for testing
On 2/7/2013 6:55 AM, Makarius wrote:
On Wed, 6 Feb 2013, Gottfried Barrow wrote:
A few minutes ago, I clicked on the "Detach" button, and an empty
"Info" window popped up, and that's what's been happening to me, an
"Info" window has been mysteriously opening up.
I'll be typing, and then an empty "Info" window will open up, and my
fingers haven't been near the CNTL or ALT keys. I've been looking
high and low for any shortcut that will do that, and I haven't found
Both sounds like an odd problem of window focus -- jEdit dockable
windows cannot be invoked with arguments, so I have to play tricks
with focus events to transfer content to the detached window.
Can you try this again with Isabelle2013-RC3 without any of your local
properties or plugins? A new release with a new name also gives you a
clean $ISABELLE_HOME_USER as you have probably noticed already.
It wasn't predictable, and it didn't happen but maybe once every 30
minutes, at the most, and when I was doing a lot of typing.
I did a little typing with the default jEdit install folder for
Isabelle2103-RC3, and it works, but I won't immediately find out if it's
It could be related to the fact that I use two views to edit the same
file. The cursor of one view might be at the very bottom of the file,
and so every keystroke in the 2nd view causes the 1st view to have to do
its continuous proving thing. The typing gets sluggish, but I use it
like that quite a lot anyway.
Another mystery was that the side panel would close occasionally, as if
I had clicked on the side panel tab of the plugin.
Things have primarily been uneventful, especially with the
multi-threading fix for Cygwin.
This archive was generated by a fusion of
Pipermail (Mailman edition) and