[isabelle-dev] Isabelle/jEdit output panel

[Christian Sternagel]

Thanks! That's a great change.

- Now that the output panel is based on the same technology as the main 
buffer, would it be feasible to include also the output panel when a 
search on "all buffers" is done.
- An old story (but maybe now it's easier to realize?): It would also be 
great if copy/paste would work the same as for the main buffer (e.g., on 
linuxen: select with mouse to copy and press middle mouse button to 
paste); currently only C+c/C+v works (I think).

cheers

chris

On 09/22/2012 12:56 AM, Makarius wrote:
> Here is an interesting update in Isabelle/cbcccf2a0f6f: at first sight
> there should be hardly any difference in the Output panel appearance and
> behaviour, but it is now based on completely different technology.
>
> The former Lobo/Cobra HTML4/CSS2 browser is no longer used, neither the
> new HTML5_Panel from JavaFX (which introduces its own complications).
> Instead, the existing semantic text rendering over regular jEdit text
> areas is applied to output as well.  This is in the best tradition of
> Emacs, where "everything is a buffer".  In Isabelle/jEdit almost
> everything is derived from TextArea, or better Rich_Text_Area.
>
> This also means that tooltips, hyperlinks etc. should now work the same
> for Output, just as for the input text.
>
> The next step will be to make tooltips and popups themselves use the
> same technology recursively.
>
>
> If something breaks down unexpectedly, because I've overlooking
> something important, the old HTML4 panel is still available as Output1
> for the moment.
>
>
>      Makarius
>
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev