scroll to first message immediately; potential later messages periodically

auto-scrolling

prepared for automatic scrolling

cleaned up a bit, scrolling arbitrary heights (incremental rendering)

UserAgent as seperate class, moved stylesheets, baseURL to UserAgent

using 'dist' directory for jEdit-settings => find Isabelle-plugin directly

fine scrolling principally possible

calculate preferred sizes only when needed

renamed class

renamed

reverted and ignoring build.xml

faster resizing, unlimited caching(but cache is cleared on resize)

reverted build.xml

absolute positioning according to preferred size of panels, scrolling one message per unit rendered messages are cached

correct resizing of xhtml-panels

LazyScroller: rendering messages only when needed - very basic functionallity

a version of Dixon's ML mode with less ambitious indentation;

Misc development notes.

added jvmpath conversion for Cygwin;

hint on -settings=...;

renamed VFS protocol prefix from "isa:" to "isabelle:";

explicit home path for default file -- more robust; pass -settings=... here, not via Isabelle settings -- more robust;

disabled tracing;

essential default properties for jEdit;