NEWS: Isabelle/jEdit improvements

[Makarius]

On 15/11/2024 23:41, Makarius wrote:
> 
> * The Output dockable (and its variants used elsewhere) has been
> improved as follows:
> 
>    - 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