src/Tools/jEdit/src/find_dockable.scala
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 tooltip_lines: HTML.encode already takes care of newline (but not space);
2014-04-19 wenzelm 2014-04-19 removed odd context argument: Thy_Info.get_theory does not fit into PIDE document model;
2014-03-18 wenzelm 2014-03-18 clarifed module name;
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 less tiny font for search criteria;
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-22 wenzelm 2013-09-22 focus on default component according to jEdit window management;
2013-09-22 wenzelm 2013-09-22 tuned signature;
2013-09-22 wenzelm 2013-09-22 completion popup for history text field; imitate view font, for default rendering of symbols; tuned signature;
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-12 wenzelm 2013-08-12 tuned signature -- more abstract PIDE editor operations;
2013-08-10 kleing 2013-08-10 adjust tooltip for duplicates option
2013-08-09 wenzelm 2013-08-09 tuned GUI;
2013-08-09 wenzelm 2013-08-09 removed "Locate" button, to avoid confusion about the slightly odd meaning of current_command with explicit theory context;
2013-08-09 wenzelm 2013-08-09 enable search in pre-loaded theory;
2013-08-09 wenzelm 2013-08-09 more GUI options;
2013-08-09 wenzelm 2013-08-09 more abstract consume_status operation;
2013-08-07 wenzelm 2013-08-07 enabled key event to apply query;
2013-08-07 wenzelm 2013-08-07 prefer single-line HistoryTextField;
2013-08-06 wenzelm 2013-08-06 more generic button;
2013-08-05 wenzelm 2013-08-05 query process animation;
2013-08-05 wenzelm 2013-08-05 slightly more general support for one-shot query operations via asynchronous print functions and temporary document overlay;
2013-08-05 wenzelm 2013-08-05 remove overlay after result has arrived -- one-shot query operation;
2013-08-05 wenzelm 2013-08-05 more message markup, provided by prover;
2013-08-05 wenzelm 2013-08-05 tuned signature -- more uniform treatment of overlays as command mapping;
2013-08-05 wenzelm 2013-08-05 avoid repeated PIDE.flush_buffers when manipulating overlays;
2013-08-02 wenzelm 2013-08-02 more general Output.result: allow to update arbitrary properties; clarified kind/instance of overlay GUI component, with separate output (subject to version as main Output);
2013-08-02 wenzelm 2013-08-02 minimal print function "find_theorems", which merely echos its arguments;
2013-08-02 wenzelm 2013-08-02 some tracking of command location; tuned;
2013-08-02 wenzelm 2013-08-02 dockable window for "find" dialog (GUI only);