Tue, 22 Apr 2014 23:49:15 +0200 |
wenzelm |
avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0;
|
file |
diff |
annotate
|
Mon, 30 Dec 2013 20:35:17 +0100 |
wenzelm |
added system option "jedit_print_mode";
|
file |
diff |
annotate
|
Thu, 01 Aug 2013 22:19:32 +0200 |
wenzelm |
more explicit read-only non-TTY mode;
|
file |
diff |
annotate
|
Mon, 24 Jun 2013 23:33:14 +0200 |
wenzelm |
improved "isabelle keywords" and "isabelle update_keywords" based on Isabelle/Scala, without requiring to build sessions first;
|
file |
diff |
annotate
|
Wed, 27 Feb 2013 19:39:16 +0100 |
wenzelm |
eliminated pointless re-ified errors;
|
file |
diff |
annotate
|
Mon, 17 Dec 2012 11:07:20 +0100 |
wenzelm |
offer sessions of group "main" first to increase chances that the user makes a sensible choice;
|
file |
diff |
annotate
|
Thu, 06 Dec 2012 17:59:37 +0100 |
wenzelm |
more uniform default logic, using settings, options, args etc.;
|
file |
diff |
annotate
|
Wed, 05 Dec 2012 22:25:15 +0100 |
wenzelm |
select logic session names, not paths;
|
file |
diff |
annotate
|
Wed, 05 Dec 2012 19:25:57 +0100 |
wenzelm |
clarified logic argument: session name, not path name;
|
file |
diff |
annotate
|
Sun, 25 Nov 2012 20:59:32 +0100 |
wenzelm |
renamed main plugin object to PIDE;
|
file |
diff |
annotate
|
Thu, 04 Oct 2012 19:31:50 +0200 |
wenzelm |
refined rich tooltip options;
|
file |
diff |
annotate
|
Tue, 11 Sep 2012 19:35:21 +0200 |
wenzelm |
more informative tooltip: default value;
|
file |
diff |
annotate
|
Tue, 11 Sep 2012 15:47:42 +0200 |
wenzelm |
some support to organize options in sections;
|
file |
diff |
annotate
|
Mon, 10 Sep 2012 19:56:08 +0200 |
wenzelm |
proper multi-line tooltip;
|
file |
diff |
annotate
|
Mon, 10 Sep 2012 19:49:30 +0200 |
wenzelm |
more detailed option tooltip;
|
file |
diff |
annotate
|
Mon, 10 Sep 2012 17:13:17 +0200 |
wenzelm |
more systematic JEdit_Options.make_component;
|
file |
diff |
annotate
|