Re: [isabelle] Isabelle/jEdit search question
On Wed, 21 Mar 2012, Christian Sternagel wrote:
does anyone know whether/how it is possible to search through the output
buffer in Isabelle/jEdit (e.g., after print_codesetup, scrolling through
all of the output is quite tedious, and all I want to know is where a
certain constant is used that misses a code equation).
This is one of the remaining inconveniences in Isabelle/jEdit. The Output
window uses a relatively modest HTML component that lacks search
facilities. What I usually do in such situations is to copy-paste the
text into a regular jEdit buffer and then use the existing tools of the
editor for that. (Conceptually, Isabelle/Scala makes sure that text is
represented natively according to the underlying platform, here it is
UTF-16 on JVM. So it can be moved back and forth both on the JVM and wrt.
other applications via the system clipboard.)
Note that copy-paste of HTML Output works via very basic mouse and
keyboard operations (with plain C-c), not the jEdit vocabulary that is a
bit more advanced.
Anyway, lets hope that Larry Ellison will deliver JavaFx 2.x/3.x for Linux
and Mac OS X as promised. Then the Output window can be made a
fully-featured HTML5 Webkit browser with all the expected functionality
(including video streaming within printed lambda terms :-).
This archive was generated by a fusion of
Pipermail (Mailman edition) and