Email Gateway (Aug 22 2022 at 17:23): Email Gateway (Aug 22 2022 at 17:23):From: Makarius <makarius@sketis.net>
The check box is still in the Theories panel as before.
You can also use the Console/Scala plugin to query the information
underlying the "PIDE document node perspective". E.g. like this:
(1) jEdit information:
JEdit_Lib.jedit_text_areas(view.getBuffer).foreach(println)
(2) PIDE information:
val view_ranges = GUI_Thread.future { val model =
Document_Model.get(view.getBuffer).get;
model.document_view_ranges(model.snapshot()) }
view_ranges
res2: isabelle.Future[List[isabelle.Text.Range]] = List([0..530],
[1363..1771])
There needs to be some elapsed time between defining view_ranges and
printing it once again on the toplevel.
I have experimented with this and some plain view -- it looks fine so far.
Also note that there is further complexity if you have "auxiliary
files", e.g. 'ML_file' commands in theories being edited.
Makarius
Email Gateway (Aug 22 2022 at 17:38):From: "Eugene W. Stark" <isabelle-users@starkeffect.com>
I am currently experiencing the following with Isabelle2018-RC0, but it has occurred
also with previous versions. The issue is that sometimes during a work session, JEdit
will become quite sluggish in responding to my typein, which becomes tedious and forces
me to exit and restart.
A possible explanation just occurred to me. I sometimes open a new "Plain View"
to examine one part of the code while editing another in the main window. If the
portion of the code shown in the new view is a bit beyond the portion being edited,
then due to continuous checking changes made in the main window force the re-checking
of the code up through the portion shown in the new view. This is to be expected.
However, I am wondering right now if somehow when I "close" the extra view and go
back to working only with the main window, it is somehow the case that the extra view
is not deleted, but just becomes invisible and its presence is still causing the
extra checking to be done. If so, that would explain the sluggish behavior.
I realized that I might be able to test this by turning off continuous checking to
see if that relieved the sluggish behavior, but in Isabelle2018-RC0 the "continuous'
checking" box is no longer where I remembered it to be and I don't know how to find
this option setting quickly now.
Last updated: Apr 26 2024 at 16:20 UTC