run commands as interactive, again after long history of fluctuation (9e196062bf88, 173974e07dea, e07dacec79e7) and quite different infrastructure for print tasks;

discontinued Toplevel.print flag -- print uniformly according to Keyword.is_printed;

more emphatic output for Proof General;

tuned;

tuned defaults;

tuned message -- more context for detached window etc.;

tuned signature;

avoid the Complex constructor, use the more natural Re/Im view; moved csqrt to Complex.

tuned GUI for Windows L&F;

clarified print_state, which goes back to TTY loop before Proof General, and before separate print_context;

tuned GUI layout;

clarified GUI events, e.g. relevant for insert via completion;

more robust line_range, according to usual jEdit confusion at end of last line (see also 71c5d1f516c0);

common support for search field, which is actually a light-weight Highlighter;

clarified GUI focus;

more uniform detach button;

tuned signature;

renamed "Find" to "Query", with more general operations;

hardwired default_frequency to avoid fluctuation of popup content;

more visual feedback on path_completion, at the risk of file-system access in GUI painting;

tuned;

explicit option parallel_print to downgrade parallel scheduling, which might occasionally help for big and heavy "scripts";

tuned GUI layout;

tuned;

some complication with ListView.Renderer to get tooltips;

expose interrupts more like ML version, but not in managed bash processes of Build;

merged

uniform Toplevel.print for all proof commands;

clarified print operations for "terms" and "theorems";

more print operations; preserve declaration order;