Wed, 28 Aug 2013 15:14:58 +0200 |
wenzelm |
more elementary Popup via JLayeredPane -- avoid javax.swing.PopupFactory with its many problems and dangers of accidental HeavyWeightPopup (especially on Mac OS X);
|
file |
diff |
annotate
|
Wed, 28 Aug 2013 09:36:05 +0200 |
wenzelm |
dismiss popups more uniformly;
|
file |
diff |
annotate
|
Sun, 18 Aug 2013 15:59:48 +0200 |
wenzelm |
load_theories if continuous_checking;
|
file |
diff |
annotate
|
Mon, 12 Aug 2013 12:06:48 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Mon, 12 Aug 2013 11:56:12 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Mon, 12 Aug 2013 11:39:29 +0200 |
wenzelm |
tuned signature -- more abstract PIDE editor operations;
|
file |
diff |
annotate
|
Tue, 06 Aug 2013 21:08:04 +0200 |
wenzelm |
more explicit status for query operation;
|
file |
diff |
annotate
|
Mon, 05 Aug 2013 21:23:06 +0200 |
wenzelm |
more central Pretty_Tooltip.dismissed_all -- avoid spurious crash of Rich_Text_Area.robust_body in asynchronous mouse_motion_listener;
|
file |
diff |
annotate
|
Wed, 31 Jul 2013 21:13:05 +0200 |
wenzelm |
home-grown mouse handling to pretend that the painted checkbox is actually a Swing component;
|
file |
diff |
annotate
|
Wed, 31 Jul 2013 19:59:14 +0200 |
wenzelm |
actions and shortcuts to change node_required status, with painter that looks like CheckBox (non-clickable);
|
file |
diff |
annotate
|
Wed, 31 Jul 2013 10:54:37 +0200 |
wenzelm |
simplified flag for continuous checking: avoid GUI complexity and slow checking of all theories (including prints);
|
file |
diff |
annotate
|
Mon, 29 Jul 2013 20:34:53 +0200 |
wenzelm |
updated key bindings to execution range;
|
file |
diff |
annotate
|
Mon, 29 Jul 2013 15:01:44 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 29 Jul 2013 14:49:32 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 29 Jul 2013 12:50:16 +0200 |
wenzelm |
support declarative editor_execution_range, instead of old-style check/cancel buttons;
|
file |
diff |
annotate
|
Mon, 20 May 2013 16:17:56 +0200 |
wenzelm |
more explicit Session.update_options as source of Global_Options event;
|
file |
diff |
annotate
|
Thu, 04 Apr 2013 17:58:47 +0200 |
wenzelm |
tuned signature -- concentrate GUI tools;
|
file |
diff |
annotate
|
Thu, 04 Apr 2013 17:33:04 +0200 |
wenzelm |
separate module Isabelle_Font, to keep this out of the way of generic Isabelle_System operations, notably for non-Isabelle/jEdit applications;
|
file |
diff |
annotate
|
Wed, 27 Feb 2013 16:27:44 +0100 |
wenzelm |
discontinued obsolete header "files" -- these are loaded explicitly after exploring dependencies;
|
file |
diff |
annotate
|
Thu, 31 Jan 2013 22:21:05 +0100 |
wenzelm |
some native Mac OS X support, notably quit_handler (important for dialog on unsaved changes);
|
file |
diff |
annotate
|
Thu, 10 Jan 2013 19:53:38 +0100 |
wenzelm |
more general prover termination dialog, which might indicate undetected failure or just ML "exit 0";
|
file |
diff |
annotate
|
Thu, 03 Jan 2013 22:12:18 +0100 |
wenzelm |
disable search dialog pool on all platforms -- to prevent GUI synchronization problems seen on KDE (e.g. Kubuntu 12.10);
|
file |
diff |
annotate
|
Sun, 16 Dec 2012 18:44:27 +0100 |
wenzelm |
tuned signature: use thy_load to adapt to prover/editor specific view on sources;
|
file |
diff |
annotate
|
Fri, 07 Dec 2012 13:38:32 +0100 |
wenzelm |
explore theory_body_files via future, for improved performance;
|
file |
diff |
annotate
|
Thu, 06 Dec 2012 21:54:43 +0100 |
wenzelm |
discontinued option jedit_auto_start, which is somewhat pointless as there is no manual session start within Isabelle/jEdit;
|
file |
diff |
annotate
|
Wed, 05 Dec 2012 12:22:55 +0100 |
wenzelm |
tuned signature in accordance to document operations;
|
file |
diff |
annotate
|
Wed, 05 Dec 2012 11:34:04 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 04 Dec 2012 15:47:37 +0100 |
wenzelm |
emit bulk edits on initialization of multiple buffers, which greatly improves performance when starting big sessions (e.g. JinjaThreads);
|
file |
diff |
annotate
|
Sun, 25 Nov 2012 21:40:34 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sun, 25 Nov 2012 21:35:29 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sun, 25 Nov 2012 21:23:20 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sun, 25 Nov 2012 21:10:29 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sun, 25 Nov 2012 20:59:32 +0100 |
wenzelm |
renamed main plugin object to PIDE;
|
file |
diff |
annotate
|
Sat, 24 Nov 2012 14:50:19 +0100 |
wenzelm |
improved editing support for control styles;
|
file |
diff |
annotate
|
Mon, 19 Nov 2012 20:47:13 +0100 |
wenzelm |
init options on startup as well;
|
file |
diff |
annotate
|
Sun, 18 Nov 2012 15:28:58 +0100 |
wenzelm |
update options via protocol;
|
file |
diff |
annotate
|
Fri, 05 Oct 2012 18:01:48 +0200 |
wenzelm |
eliminated obsolete tooltip delay -- bypassed by Pretty_Tooltip;
|
file |
diff |
annotate
|
Thu, 04 Oct 2012 19:31:50 +0200 |
wenzelm |
refined rich tooltip options;
|
file |
diff |
annotate
|
Sat, 22 Sep 2012 14:41:41 +0200 |
wenzelm |
Thy_Syntax.consolidate_spans is subject to editor_reparse_limit, for improved experience of unbalanced comments etc.;
|
file |
diff |
annotate
|
Sat, 22 Sep 2012 14:03:01 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Mon, 17 Sep 2012 17:49:11 +0200 |
wenzelm |
somewhat more general JEdit_Lib;
|
file |
diff |
annotate
|
Tue, 11 Sep 2012 19:19:39 +0200 |
wenzelm |
more options;
|
file |
diff |
annotate
|
Tue, 11 Sep 2012 16:10:54 +0200 |
wenzelm |
replaced jedit_relative_font_size by jedit_font_scale;
|
file |
diff |
annotate
|
Mon, 10 Sep 2012 21:17:32 +0200 |
wenzelm |
option jedit_load_delay;
|
file |
diff |
annotate
|
Mon, 10 Sep 2012 17:13:17 +0200 |
wenzelm |
more systematic JEdit_Options.make_component;
|
file |
diff |
annotate
|
Mon, 10 Sep 2012 15:20:50 +0200 |
wenzelm |
manage Isabelle/jEdit options as Isabelle/Scala options (with persistent preferences);
|
file |
diff |
annotate
|
Fri, 07 Sep 2012 13:58:54 +0200 |
wenzelm |
more explicit Delay operations;
|
file |
diff |
annotate
|
Mon, 03 Sep 2012 22:50:07 +0200 |
wenzelm |
continue with more robust dummy session after failed startup;
|
file |
diff |
annotate
|
Mon, 03 Sep 2012 22:31:27 +0200 |
wenzelm |
prefer old startup dialog scheme (cf. 514bb82514df);
|
file |
diff |
annotate
|
Mon, 03 Sep 2012 22:22:38 +0200 |
wenzelm |
more permissive handling of plugin startup failure;
|
file |
diff |
annotate
|
Mon, 03 Sep 2012 21:30:34 +0200 |
wenzelm |
bypass slow check for inlined files, where it is not really required;
|
file |
diff |
annotate
|
Wed, 22 Aug 2012 16:24:52 +0200 |
wenzelm |
clarified global get_recent_syntax: session always has its base_syntax, but it might be absent itself;
|
file |
diff |
annotate
|
Tue, 21 Aug 2012 14:54:29 +0200 |
wenzelm |
some support for thy_load_commands;
|
file |
diff |
annotate
|
Tue, 21 Aug 2012 12:15:25 +0200 |
wenzelm |
clarified initialization of Thy_Load, Thy_Info, Session;
|
file |
diff |
annotate
|
Tue, 14 Aug 2012 11:37:58 +0200 |
wenzelm |
added jedit option -d;
|
file |
diff |
annotate
|
Tue, 07 Aug 2012 22:25:17 +0200 |
wenzelm |
more structural parsing for minor modes;
|
file |
diff |
annotate
|
Tue, 07 Aug 2012 21:38:24 +0200 |
wenzelm |
clarified Sidekick configuration, including minor modes;
|
file |
diff |
annotate
|
Tue, 07 Aug 2012 16:34:15 +0200 |
wenzelm |
prefer static Build.outer_syntax in Isabelle/Scala session -- discontinued incremental protocol;
|
file |
diff |
annotate
|
Tue, 29 May 2012 22:33:14 +0200 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
Tue, 29 May 2012 21:48:05 +0200 |
wenzelm |
clarified prover startup: no timeout, read stderr more carefully;
|
file |
diff |
annotate
|
Fri, 04 May 2012 15:58:27 +0200 |
wenzelm |
some attempts to make critical errors fit on screen;
|
file |
diff |
annotate
|
Tue, 20 Mar 2012 21:34:42 +0100 |
wenzelm |
refined init_model: allow change of buffer name as caused by "Save as", for example;
|
file |
diff |
annotate
|
Sat, 17 Mar 2012 17:44:29 +0100 |
wenzelm |
misc tuning to accomodate scala-2.10.0-M2;
|
file |
diff |
annotate
|
Wed, 14 Mar 2012 15:09:33 +0100 |
wenzelm |
prefer asynchronous context switch from actor to swing thread, to reduce danger of deadlocks;
|
file |
diff |
annotate
|
Sat, 03 Mar 2012 16:59:30 +0100 |
wenzelm |
explicit syslog_limit reduces danger of low-level message flooding;
|
file |
diff |
annotate
|
Fri, 02 Mar 2012 21:22:42 +0100 |
wenzelm |
avoid buffer loading overrun;
|
file |
diff |
annotate
|
Thu, 01 Mar 2012 14:12:18 +0100 |
wenzelm |
explicitly revoke delay, to avoid spurious timer events after deactivation of related components;
|
file |
diff |
annotate
|
Sat, 14 Jan 2012 12:36:43 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Wed, 04 Jan 2012 15:41:18 +0100 |
wenzelm |
updated version information;
|
file |
diff |
annotate
|
Fri, 16 Dec 2011 13:37:08 +0100 |
wenzelm |
prefer sorting from Scala library;
|
file |
diff |
annotate
|
Mon, 17 Oct 2011 11:24:22 +0200 |
wenzelm |
always use sockets on Windows/Cygwin;
|
file |
diff |
annotate
|
Sun, 25 Sep 2011 13:48:59 +0200 |
wenzelm |
more uniform defaults;
|
file |
diff |
annotate
|
Fri, 23 Sep 2011 13:44:31 +0200 |
wenzelm |
explicit option for socket vs. fifo communication;
|
file |
diff |
annotate
|
Sun, 18 Sep 2011 13:47:12 +0200 |
wenzelm |
explicit check_file wrt. jEdit VFS, to avoid slightly confusing empty buffer after IO error;
|
file |
diff |
annotate
|
Sat, 17 Sep 2011 19:44:58 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sat, 17 Sep 2011 19:25:14 +0200 |
wenzelm |
more careful traversal of theory dependencies to retain standard import order;
|
file |
diff |
annotate
|
Sat, 10 Sep 2011 14:48:06 +0200 |
wenzelm |
explicit jEdit actions -- to enable key mappings, for example;
|
file |
diff |
annotate
|
Mon, 05 Sep 2011 20:30:37 +0200 |
wenzelm |
tuned imports;
|
file |
diff |
annotate
|
Sun, 04 Sep 2011 15:49:59 +0200 |
wenzelm |
property "tooltip-dismiss-delay" is edited in ms, not seconds;
|
file |
diff |
annotate
|
Thu, 01 Sep 2011 13:34:45 +0200 |
wenzelm |
more abstract Document.Node.Name;
|
file |
diff |
annotate
|
Wed, 31 Aug 2011 17:36:10 +0200 |
wenzelm |
some support for theory status overview;
|
file |
diff |
annotate
|
Wed, 31 Aug 2011 14:39:41 +0200 |
wenzelm |
improved auto loading: selectable file list;
|
file |
diff |
annotate
|
Tue, 30 Aug 2011 15:43:27 +0200 |
wenzelm |
some support for hyperlinks between different buffers;
|
file |
diff |
annotate
|
Tue, 30 Aug 2011 11:43:47 +0200 |
wenzelm |
separate module for jEdit primitives for loading theory files;
|
file |
diff |
annotate
|
Mon, 29 Aug 2011 21:55:49 +0200 |
wenzelm |
actual auto loading of required files;
|
file |
diff |
annotate
|
Mon, 29 Aug 2011 16:38:56 +0200 |
wenzelm |
some dialog for auto loading of required files (still inactive);
|
file |
diff |
annotate
|
Tue, 23 Aug 2011 21:14:59 +0200 |
wenzelm |
handle potentially more approriate BufferUpdate.LOADED event;
|
file |
diff |
annotate
|
Mon, 22 Aug 2011 16:12:23 +0200 |
wenzelm |
added official Text.Range.Ordering;
|
file |
diff |
annotate
|
Wed, 17 Aug 2011 16:01:27 +0200 |
wenzelm |
some convenience actions/shortcuts for control symbols;
|
file |
diff |
annotate
|
Tue, 16 Aug 2011 22:48:31 +0200 |
wenzelm |
more robust Thy_Header.base_name, with minimal assumptions about path syntax;
|
file |
diff |
annotate
|
Tue, 16 Aug 2011 21:13:52 +0200 |
wenzelm |
use full .thy file name as node name, which makes MiscUtilities.resolveSymlinks/File.getCanonicalPath more predictable;
|
file |
diff |
annotate
|
Tue, 16 Aug 2011 12:06:49 +0200 |
wenzelm |
omit MiscUtilities.resolveSymlinks for now -- odd effects on case-insensible file-system;
|
file |
diff |
annotate
|
Sat, 13 Aug 2011 20:20:36 +0200 |
wenzelm |
provide node header via Scala layer;
|
file |
diff |
annotate
|
Fri, 12 Aug 2011 22:10:49 +0200 |
wenzelm |
normalized theory dependencies wrt. file_store;
|
file |
diff |
annotate
|
Fri, 12 Aug 2011 15:28:30 +0200 |
wenzelm |
clarified document model header: master_dir (native wrt. editor, potentially URL) and node_name (full canonical path);
|
file |
diff |
annotate
|
Sat, 09 Jul 2011 12:56:51 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Thu, 07 Jul 2011 22:04:30 +0200 |
wenzelm |
explicit Document.Node.Header, with master_dir and thy_name;
|
file |
diff |
annotate
|
Tue, 05 Jul 2011 21:32:48 +0200 |
wenzelm |
prefer space_explode/split_lines as in Isabelle/ML;
|
file |
diff |
annotate
|
Mon, 04 Jul 2011 22:11:32 +0200 |
wenzelm |
quasi-static Isabelle_System -- reduced tendency towards "functorial style";
|
file |
diff |
annotate
|
Sun, 03 Jul 2011 19:42:32 +0200 |
wenzelm |
more explicit edit_node vs. init_node;
|
file |
diff |
annotate
|
Sat, 02 Jul 2011 23:04:19 +0200 |
wenzelm |
some support for Session.File_Store;
|
file |
diff |
annotate
|
Sat, 02 Jul 2011 20:54:38 +0200 |
wenzelm |
eliminated redundant session_ready;
|
file |
diff |
annotate
|
Thu, 23 Jun 2011 14:52:32 +0200 |
wenzelm |
explicit import java.lang.System to prevent odd scope problems;
|
file |
diff |
annotate
|
Wed, 22 Jun 2011 21:27:20 +0200 |
wenzelm |
clarified plugin start/stop;
|
file |
diff |
annotate
|
Wed, 22 Jun 2011 20:25:35 +0200 |
wenzelm |
init/exit model/view synchronously within the swing thread -- EditBus.send in jedit-4.4.1 always runs there;
|
file |
diff |
annotate
|
Tue, 21 Jun 2011 01:08:15 +0200 |
wenzelm |
some support for user symbol fonts;
|
file |
diff |
annotate
|
Mon, 20 Jun 2011 22:43:56 +0200 |
wenzelm |
added SyntaxUtilities.StyleExtender hook, with actual functionality in Isabelle/Scala;
|
file |
diff |
annotate
|
Sun, 19 Jun 2011 21:34:55 +0200 |
wenzelm |
support for bold style within text buffer;
|
file |
diff |
annotate
|
Sat, 18 Jun 2011 23:34:34 +0200 |
wenzelm |
avoid setTokenMarker fluctuation on buffer reload etc. via static isabelle_token_marker, which is installed by hijacking the jEdit ModeProvider;
|
file |
diff |
annotate
|
Sat, 18 Jun 2011 21:20:22 +0200 |
wenzelm |
convenience functions;
|
file |
diff |
annotate
|
Sat, 18 Jun 2011 17:33:27 +0200 |
wenzelm |
basic support for extended syntax styles: sub/superscript;
|
file |
diff |
annotate
|
Tue, 14 Jun 2011 17:24:23 +0200 |
wenzelm |
builtin sub/superscript styles for jedit-4.3.2;
|
file |
diff |
annotate
|
Wed, 08 Jun 2011 17:42:07 +0200 |
wenzelm |
moved sources -- eliminated Netbeans artifact of jedit package directory;
|
file |
diff |
annotate
| base
|