2014-03-01 wenzelm 2014-03-01 font size change with delay, to avoid GUI lagging behind user input;
2014-02-25 wenzelm 2014-02-25 tuned signature;
2014-02-22 wenzelm 2014-02-22 refined language context: antiquotes; support default completions, with move of caret position; tuned signature;
2014-02-20 wenzelm 2014-02-20 default completion context via outer syntax; no symbol completion for ML files; tuned;
2014-02-18 wenzelm 2014-02-18 more uniform treatment of dockables and their standard actions;
2014-02-18 wenzelm 2014-02-18 standardized action and panel names;
2014-02-15 wenzelm 2014-02-15 isabelle-ml mode with separate token marker; clarified ML_Lex.gap_start: end-of-input counts as single newline;
2014-02-04 Lars Hupel 2014-02-04 interactive simplifier trace: new panel in Isabelle/jEdit to inspect and modify simplification state
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-09-24 wenzelm 2013-09-24 clarified command spans (again, see also 03a2dc9e0624): restrict to proper range to allow Isabelle.command_edit adding material monotonically without destroying the command (e.g. relevant for sendback from sledgehammer); simplified command padding: always newline, despite lack of indentation;
2013-09-18 wenzelm 2013-09-18 added option "jedit_auto_load"; allow in-place change of option "editor_continuous_checking";
2013-09-10 wenzelm 2013-09-10 tuned signature;
2013-08-30 wenzelm 2013-08-30 allow short words for explicit completion;
2013-08-29 wenzelm 2013-08-29 added action isabelle.complete, using standard jEdit keyboard shortcut;
2013-08-29 wenzelm 2013-08-29 clarified SideKick parser name, which serves as quasi "mode" here;
2013-08-29 wenzelm 2013-08-29 explicit indication of outer syntax with no tokens; uniform Isabelle.markers, based on syntax specification -- no tokens for NEWS;
2013-08-29 wenzelm 2013-08-29 more uniform configuration of editor modes and token markers;
2013-08-29 wenzelm 2013-08-29 syntax for isabelle-news with symbol completion;
2013-08-29 wenzelm 2013-08-29 maintain Completion_Popup.Text_Area as client property like Document_View; global Completion_Popup.Text_Area init/exit like SideKickPlugin; eliminated old SideKick completion -- cover all Isabelle modes uniformly; dynamic lookup of Isabelle.mode_syntax -- NB: buffer mode might be undefined in intermediate stages;
2013-08-29 wenzelm 2013-08-29 more abstract Completion_Popup.Text_Area; more uniform font size;
2013-08-23 wenzelm 2013-08-23 added action isabelle.reset-font-size;
2013-08-13 wenzelm 2013-08-13 discontinued special treatment of \<^isub> and \<^isup> in rendering or editor front-end; document antiquotations: renamed term style "isub" to "sub";
2013-08-12 wenzelm 2013-08-12 tuned signature;
2013-07-31 wenzelm 2013-07-31 home-grown mouse handling to pretend that the painted checkbox is actually a Swing component; tuned signature;
2013-07-31 wenzelm 2013-07-31 actions and shortcuts to change node_required status, with painter that looks like CheckBox (non-clickable); just one module for Isabelle/jEdit actions;
2013-03-26 wenzelm 2013-03-26 dockable window for timing information;
2013-01-08 wenzelm 2013-01-08 upper bound for font size;
2012-12-08 wenzelm 2012-12-08 basic monitor panel, using the powerful jfreechart library; sorted Isabelle menu entries -- this is mainly a catalog;
2012-12-04 wenzelm 2012-12-04 provide general insert_line_padding as convenience operation, e.g. for BeanShell macros;
2012-11-30 wenzelm 2012-11-30 renamed dockable "Prover Session" to "Theories"; more uniform Library.lowercase/uppercase;
2012-11-25 wenzelm 2012-11-25 tuned signature;
2012-11-25 wenzelm 2012-11-25 tuned signature;