src/Tools/jEdit/src/plugin.scala
2012-11-25 wenzelm 2012-11-25 tuned signature;
2012-11-25 wenzelm 2012-11-25 tuned signature;
2012-11-25 wenzelm 2012-11-25 tuned signature; uniform view.fontsize fallback;
2012-11-25 wenzelm 2012-11-25 renamed main plugin object to PIDE;
2012-11-24 wenzelm 2012-11-24 improved editing support for control styles; separate module for Isabelle actions;
2012-11-19 wenzelm 2012-11-19 init options on startup as well;
2012-11-18 wenzelm 2012-11-18 update options via protocol; jEdit dialog for "Parallel Checking" options;
2012-10-05 wenzelm 2012-10-05 eliminated obsolete tooltip delay -- bypassed by Pretty_Tooltip;
2012-10-04 wenzelm 2012-10-04 refined rich tooltip options; basic tooltips without markup;
2012-09-22 wenzelm 2012-09-22 Thy_Syntax.consolidate_spans is subject to editor_reparse_limit, for improved experience of unbalanced comments etc.;
2012-09-22 wenzelm 2012-09-22 tuned signature;
2012-09-17 wenzelm 2012-09-17 somewhat more general JEdit_Lib; tuned signatures;
2012-09-11 wenzelm 2012-09-11 more options;
2012-09-11 wenzelm 2012-09-11 replaced jedit_relative_font_size by jedit_font_scale;
2012-09-10 wenzelm 2012-09-10 option jedit_load_delay; tuned;
2012-09-10 wenzelm 2012-09-10 more systematic JEdit_Options.make_component; separate module Isabelle_Logic;
2012-09-10 wenzelm 2012-09-10 manage Isabelle/jEdit options as Isabelle/Scala options (with persistent preferences);
2012-09-07 wenzelm 2012-09-07 more explicit Delay operations;
2012-09-03 wenzelm 2012-09-03 continue with more robust dummy session after failed startup;
2012-09-03 wenzelm 2012-09-03 prefer old startup dialog scheme (cf. 514bb82514df);
2012-09-03 wenzelm 2012-09-03 more permissive handling of plugin startup failure;
2012-09-03 wenzelm 2012-09-03 bypass slow check for inlined files, where it is not really required;
2012-08-22 wenzelm 2012-08-22 clarified global get_recent_syntax: session always has its base_syntax, but it might be absent itself;
2012-08-21 wenzelm 2012-08-21 some support for thy_load_commands; clarified signatures;
2012-08-21 wenzelm 2012-08-21 clarified initialization of Thy_Load, Thy_Info, Session;
2012-08-14 wenzelm 2012-08-14 added jedit option -d;
2012-08-07 wenzelm 2012-08-07 more structural parsing for minor modes; tuned signatures;
2012-08-07 wenzelm 2012-08-07 clarified Sidekick configuration, including minor modes;
2012-08-07 wenzelm 2012-08-07 prefer static Build.outer_syntax in Isabelle/Scala session -- discontinued incremental protocol; just one cumulative Keyword.status at end of batch session;
2012-05-29 wenzelm 2012-05-29 tuned message;
2012-05-29 wenzelm 2012-05-29 clarified prover startup: no timeout, read stderr more carefully;
2012-05-04 wenzelm 2012-05-04 some attempts to make critical errors fit on screen;
2012-03-20 wenzelm 2012-03-20 refined init_model: allow change of buffer name as caused by "Save as", for example; avoid init_model while buffer.isLoading -- potentially prevent NPE of getText; avoid emitting nested buffer.propertiesChanged events;
2012-03-17 wenzelm 2012-03-17 misc tuning to accomodate scala-2.10.0-M2;
2012-03-14 wenzelm 2012-03-14 prefer asynchronous context switch from actor to swing thread, to reduce danger of deadlocks; more robust use of Session.Commands_Changed vs. Document_View.visible_range as asynchronous swing task, taking into account that the model might have switched in the meantime (e.g. via fast clicking on hypersearch while the prover is crunching);
2012-03-03 wenzelm 2012-03-03 explicit syslog_limit reduces danger of low-level message flooding; tuned;
2012-03-02 wenzelm 2012-03-02 avoid buffer loading overrun; tuned;
2012-03-01 wenzelm 2012-03-01 explicitly revoke delay, to avoid spurious timer events after deactivation of related components;
2012-01-14 wenzelm 2012-01-14 tuned signature;
2012-01-04 wenzelm 2012-01-04 updated version information; discontinued somewhat obsolete hotspot check: OpenJDK 1.7 works reasonably well, and final bundling provides certain tested JDK/JRE versions;
2011-12-16 wenzelm 2011-12-16 prefer sorting from Scala library;
2011-10-17 wenzelm 2011-10-17 always use sockets on Windows/Cygwin; discontinued special raw_dump facility;
2011-09-25 wenzelm 2011-09-25 more uniform defaults;
2011-09-23 wenzelm 2011-09-23 explicit option for socket vs. fifo communication;
2011-09-18 wenzelm 2011-09-18 explicit check_file wrt. jEdit VFS, to avoid slightly confusing empty buffer after IO error;
2011-09-17 wenzelm 2011-09-17 tuned signature;
2011-09-17 wenzelm 2011-09-17 more careful traversal of theory dependencies to retain standard import order;
2011-09-10 wenzelm 2011-09-10 explicit jEdit actions -- to enable key mappings, for example;
2011-09-05 wenzelm 2011-09-05 tuned imports;
2011-09-04 wenzelm 2011-09-04 property "tooltip-dismiss-delay" is edited in ms, not seconds; explicit tooltip_dismiss_delay boundaries for further robustness;
2011-09-01 wenzelm 2011-09-01 more abstract Document.Node.Name; tuned signature;
2011-08-31 wenzelm 2011-08-31 some support for theory status overview;
2011-08-31 wenzelm 2011-08-31 improved auto loading: selectable file list;
2011-08-30 wenzelm 2011-08-30 some support for hyperlinks between different buffers; tuned signature;
2011-08-30 wenzelm 2011-08-30 separate module for jEdit primitives for loading theory files;
2011-08-29 wenzelm 2011-08-29 actual auto loading of required files; eliminated File_Store in favour of Thy_Load; tuned;
2011-08-29 wenzelm 2011-08-29 some dialog for auto loading of required files (still inactive);
2011-08-23 wenzelm 2011-08-23 handle potentially more approriate BufferUpdate.LOADED event;
2011-08-22 wenzelm 2011-08-22 added official Text.Range.Ordering; some support for text perspective;
2011-08-17 wenzelm 2011-08-17 some convenience actions/shortcuts for control symbols;