Re: Emacs and jEdit

[Andreas Röhler]

On 19.07.2016 08:46, Clément Pit--Claudel wrote:
> On 2016-07-19 06:51, Richard Stallman wrote:
> > [[[ To any NSA and FBI agents reading my email: please consider    ]]]
> > [[[ whether defending the US Constitution against all enemies,     ]]]
> > [[[ foreign or domestic, requires you to follow Snowden's example. ]]]
> >
> >    > Huh?  Isabelle/HOL developed a fancier protocol/interface for its
> >    > various IDEs.
> >
> > Is there a fundamental difficulty in making Emacs support that protocol,
> > or is it just a matter of work?
> Nothing fundamental; just a matter of work (plus the fact that async stuff in 
> Emacs isn't that easy).
> But really, Isabelle is a bad example here: the lead developer of that protocol 
> also works/worked on jEdit.

What about the screenshots given? Seems there is not just async creating 
difficulties.