Re: [isabelle] Isabelle2014-RC2: PIDE does not resume processing

Some more details about jEdit dockables: the instance gets created the first time you open
it in the dock and it remains active while visually closed; it is detroyed only via
explicit undocking.
Thanks for the hint. That also explains why sledgehammer aborts a running search when I change the position of the docked sledgehammer panel (say, from dock at bottom to dock at right).


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