On Fri, 2 Jan 2015, Gergely Buday wrote:
is there a document that describes the modules of the
src/Tools/jEdit/src directory?
See the many papers that I have published in the past 5 years about PIDE,
as well as the sources themselves, but you also need to include
src/Pure/PIDE/ (both the Scala and ML side).
My concrete question is which method is the actual call for checking the
document to the cursor. Or is it hardwired to JEdit?
No, jEdit is just a plain text editor and knows nothing about IDE support.
The Isabelle/PIDE infrastructure is connected to jEdit via
PIDE.editor.invoke: edits are sent through some pipeline and ultimately
end up in Document.update (in Scala and ML). The Document.start_execution
in ML does the main job to have it checked it eventually.
(So far there is nothing specific about isabelle-dev on this thread:
Isabelle/Scala and Isabelle/ML belong to normal Isabelle user space.)
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
