Stream: Mirror: Isabelle Development Mailing List

Topic: NEWS: Isabelle/jEdit improvements


view this post on Zulip Email Gateway (Nov 15 2024 at 22:41):

From: Makarius <makarius@sketis.net>
* Isabelle/jEdit Prover IDE *

This refers to Isabelle/7a7ad99212b1. I still need to update the documentation
(before the next release).

It might take some time until everybody realizes that we have a whole new life
concerning formal structure of inner syntax (in input and output).

Makarius

view this post on Zulip Email Gateway (Nov 22 2024 at 19:58):

From: Makarius <makarius@sketis.net>
On 15/11/2024 23:41, Makarius wrote:

- Its vertical scroll position is maintained more carefully, when
    messages are printed incrementally.

- Performance of printing messages repeatedly has improved slightly,
    with less load on the GUI thread.

- Highlighting works via mouse hovering alone, without requiring
    C-modifier.

- Search results are shown as tree view.

This refers to Isabelle/d421a7c58530.

It was surprisingly difficult to make the Java Swing JTree work properly: I've
imitated the regular HyperSearch results panel to some extent.

The JSplitPane is open by default, even without search results. I would prefer
to have it close, but the little triangles are only accesible to the user, not
via regular Java programming interfaces. (There are very ugly tricks to
imitate user clicks, but I did not try anything in that direction so far.)

Makarius


Last updated: Jan 05 2025 at 20:18 UTC