Re: [isabelle] Isabelle2013-RC2 available for testing
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 any.
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.
This archive was generated by a fusion of
Pipermail (Mailman edition) and