[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Emacs and jEdit
From: |
Andreas Röhler |
Subject: |
Re: Emacs and jEdit |
Date: |
Tue, 19 Jul 2016 10:33:56 +0200 |
User-agent: |
Mozilla/5.0 (X11; Linux i686; rv:45.0) Gecko/20100101 Icedove/45.1.0 |
On 19.07.2016 09:26, Clément Pit--Claudel wrote:
On 2016-07-19 09:08, Andreas Röhler wrote:
What about the screenshots given? Seems there is not just async creating
difficulties.
Why do you attribute Emacs' lack of support for Isabelle's funky format to
difficulties, rather than, say, lack of interest?
Why people used to Emacs' proof-general should prefer jEdit? Why there
was no interest raised?
For me Emacs' extensibility is the key-argument. While jEdit is
extensible also. At any case: the basics like indent and highlighting
must be reliable. Look for example the buglists at elixir-mode:
https://github.com/elixir-lang/emacs-elixir/issues
It's developed for years and are very skilled people behind -
nonetheless the indent-bugs cumulate.
Well, that's a special smie-matter IIUC.
That good news from there: fontification seems kept under control.
AFAICT there's only one editor supporting Isabelle, and that's at least in
part a design choice (in addition to a custom build of jEdit, the Isabelle
people use a custom Isabelle font, and a custom Isabelle encoding based on
UTF-8 with subtle, incompatible divergences from the standard).
The latter might deserve negotiation.
In any case, I don't think I see anything in these screenshots suggesting
difficulties (but I could be wrong).
What about the plain text wrongly fontified as keywords?
We've had prettify-symbols-mode for a while, and Proof General had
unicode-tokens.el before that. It would help if you pointed out something that
might be hard to support in Emacs.
The prettify-stuff works very well in Emacs. Notably flexible.
And if you're interested in areas where we have an edge, I've attached a
screenshot of jEdit and Emacs displaying the same text side-by-side. Try to
spot an issue on the jEdit side :)
Clément.
Indeed, when playing with jEdit, it showed some bugs too, sure.
- Emacs and jEdit, Andreas Röhler, 2016/07/18
- Re: Emacs and jEdit, Kaushal Modi, 2016/07/18
- Re: Emacs and jEdit, Andreas Röhler, 2016/07/18
- Re: Emacs and jEdit, Richard Stallman, 2016/07/19
- Re: Emacs and jEdit, Clément Pit--Claudel, 2016/07/19
- Re: Emacs and jEdit, Andreas Röhler, 2016/07/19
- Re: Emacs and jEdit, Clément Pit--Claudel, 2016/07/19
- Re: Emacs and jEdit,
Andreas Röhler <=
- Re: Emacs and jEdit, Clément Pit--Claudel, 2016/07/19
- Re: Emacs and jEdit, Stefan Monnier, 2016/07/19
- Re: Emacs and jEdit, Richard Stallman, 2016/07/19