src/Tools/jEdit/src/jedit/plugin.scala
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;