src/Tools/jEdit/src/jedit/plugin.scala
2010-09-18 wenzelm 2010-09-18 basic setup for prover session panel;
2010-09-09 wenzelm 2010-09-09 Isabelle.load_icon with some sanity checks;
2010-09-07 wenzelm 2010-09-07 slightly more robust Plugin.stop -- components might refer to Isabelle.system even after shutdown;
2010-09-02 wenzelm 2010-09-02 added gfx_range convenience;
2010-08-29 wenzelm 2010-08-29 Isabelle/jEdit property for global tooltip dismiss delay;
2010-08-28 wenzelm 2010-08-28 more careful locking of jEdit buffer;
2010-08-23 wenzelm 2010-08-23 sporadic locking of jEdit buffer;
2010-08-07 wenzelm 2010-08-07 replaced individual Document_Model history by all-inclusive one in Session; Document_Model: provide thy_name externally, i.e. by central Isabelle plugin; tuned;
2010-08-07 wenzelm 2010-08-07 misc tuning and clarification;
2010-06-26 wenzelm 2010-06-26 refresh Isabelle token marker after buffer properties changed, e.g. when fold mode is switched;
2010-06-01 wenzelm 2010-06-01 basic support for sub/superscript token markup -- NB: need to maintain extended token types eagerly, since jEdit occasionally reinstalls a style array that is too short;
2010-05-31 wenzelm 2010-05-31 more flexibile font size via CSS <style> instead of old <font> element; preformatted text;
2010-05-30 wenzelm 2010-05-30 control tooltip font via Swing HTML, with tooltip-font-size property;
2010-05-28 wenzelm 2010-05-28 avoid deprecated Iterator.fromArray;
2010-05-28 wenzelm 2010-05-28 reuse main view.font from jEdit;
2010-05-22 wenzelm 2010-05-22 access statically typed dockable windows;
2010-05-20 wenzelm 2010-05-20 zoom font size;
2010-05-11 wenzelm 2010-05-11 support Isabelle plugin properties with defaults; font size relative to view.textsize of jEdit; margin relative to component width and approximative font metrics;
2010-05-08 wenzelm 2010-05-08 tuned headers;
2010-03-30 wenzelm 2010-03-30 adapted to Scala 2.8.0 Beta 1;
2010-01-11 wenzelm 2010-01-11 incorporate "proofdocument" part into main Isabelle/Pure.jar -- except for html_panel.scala, which depends on external library (Lobo/Cobra browser);
2010-01-09 wenzelm 2010-01-09 removed unused var plugin;
2009-12-31 wenzelm 2009-12-31 tuned dialog;
2009-12-31 wenzelm 2009-12-31 improved dialog;
2009-12-31 wenzelm 2009-12-31 basic setup for synchronous / modal (!) prover startup;
2009-12-29 wenzelm 2009-12-29 eliminated global Session.document_0 -- did not work due to hardwired id; more precise Session.begin_document, avoid race on var prover; replaced slightly odd Session.document_versions by Sassion.documents table (cf. src/Pure/Isar/isar_document.ML); simplified edit_document in ML: initial empty command is identified by ""; misc tuning;
2009-12-16 wenzelm 2009-12-16 explicit object Session.Global_Settings; misc tuning;
2009-12-15 wenzelm 2009-12-15 direct apply for Document_Model and Document_View;
2009-12-15 wenzelm 2009-12-15 need to handle EditPaneUpdate.CREATED explicitly, not included in EditPaneUpdate.BUFFER_CHANGED; tuned;
2009-12-15 wenzelm 2009-12-15 split Theory_View into Document_Model (connected to Buffer) and Document_View (connected to JEditTextArea); incorporate Document_Overview into Document_View; eliminated Plugin.mapping in favour of direct association via generic properties; support several views per model; misc tuning;
2009-12-15 wenzelm 2009-12-15 refined treatment of default logic concerning property and GUI;
2009-12-11 wenzelm 2009-12-11 handle "default" logic;
2009-12-11 wenzelm 2009-12-11 more serious command line handling;
2009-12-11 wenzelm 2009-12-11 proper uninstall;
2009-12-10 wenzelm 2009-12-10 class Session models full session, with or without prover process (cf. heaps, browser_info); replaced Prover by Session, with a singleton instance in Isabelle plugin (shared by all active buffers); misc cleanup of Session vs. Plugin instance; eliminated Prover_Setup -- maintain mapping of JEditBuffer <-> Theory_View directly; misc tuning and simplification;
2009-12-10 wenzelm 2009-12-10 install_fonts;
2009-12-08 wenzelm 2009-12-08 proper actor wiring for raw process output; unified Swing component setup;
2009-12-08 wenzelm 2009-12-08 added properties_changed event bus;
2009-12-08 wenzelm 2009-12-08 tuned;
2009-12-08 wenzelm 2009-12-08 simplified register_fonts;
2009-12-08 wenzelm 2009-12-08 misc modernization of names;
2009-12-08 wenzelm 2009-12-08 misc rearrangement of files;