2014-04-25 wenzelm 2014-04-25 clarified Session.Consumer, with Session.Outlet managed by dispatcher thread; eliminated old actors;
2014-04-22 wenzelm 2014-04-22 avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0;
2014-04-19 wenzelm 2014-04-19 clarified actor plumbing;
2014-04-19 wenzelm 2014-04-19 more elementary option sledgehammer_provers, avoiding complications of defaults from ML side (NB: guessing at number of cores does not make sense in PIDE);
2014-04-19 wenzelm 2014-04-19 clarified tooltip_lines: HTML.encode already takes care of newline (but not space);
2014-03-01 wenzelm 2014-03-01 tuned signature -- separate module Font_Info;
2014-02-20 wenzelm 2014-02-20 tuned imports;
2013-11-21 wenzelm 2013-11-21 back to Status.FINISHED and immediate remove_overlay (reverting 6e69f9ca8f1c), which is important to avoid restart of print function after edits + re-assignment of located command; resolve sendback wrt. static command id, to allow active area even after exec_id is removed (cf. prune_delay);
2013-11-06 wenzelm 2013-11-06 tuned tooltips;
2013-09-25 wenzelm 2013-09-25 explicit Status.REMOVED, which is required e.g. for sledgehammer to retrieve command of sendback exec_id (in contrast to find_theorems, see c2da0d3b974d);
2013-09-24 wenzelm 2013-09-24 focus text field, to capture key events even on Mac OS X look-and-feel;
2013-09-22 wenzelm 2013-09-22 focus on default component according to jEdit window management;
2013-09-18 wenzelm 2013-09-18 improved FlowLayout for wrapping of components over multiple lines;
2013-08-24 wenzelm 2013-08-24 more uniform treatment of Swing_Thread context switch: prefer asynchronous Swing_Thread.later from actor;
2013-08-17 wenzelm 2013-08-17 prefer system option sledgehammer_timeout, with standard GUI in jEdit Plugin Options;
2013-08-17 wenzelm 2013-08-17 more robust startup;
2013-08-17 wenzelm 2013-08-17 some protocol to determine provers according to ML;
2013-08-17 wenzelm 2013-08-17 eliminated pointless subgoal argument;
2013-08-12 wenzelm 2013-08-12 tuned signature -- more abstract PIDE editor operations;
2013-08-09 wenzelm 2013-08-09 tuned GUI;
2013-08-09 wenzelm 2013-08-09 more abstract consume_status operation;
2013-08-09 wenzelm 2013-08-09 more active "provers" field, which increases chances that its history is stored;
2013-08-09 wenzelm 2013-08-09 cancel_query via direct access to the exec_id of the running query process;
2013-08-08 wenzelm 2013-08-08 dockable window for Sledgehammer, based on asynchronous/parallel query operation;