Re: [isabelle] returning to the original document in Isabelle/jedit



On 28.01.2014 16:24, John Wickerson wrote:
> Thanks Lars for suggesting the Navigator plugin. I found it very helpful for returning to my position after a CMD-click. Unfortunately I found today that Isabelle/jEdit wouldn't launch, it just gets stuck on the splash screen. It turns out that removing that plugin fixes the problem. I'm just putting this in writing in case anybody else finds the same problem.
>
I had this problem (jEdit getting stuck at the startup screen)
sporadically with (older) versions of jEdit. It always vanished on a
second try, so I never investigated it.






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