| Tue, 24 Nov 2015 23:17:03 +0100 |
wenzelm |
more scalable GUI;
|
file |
diff |
annotate
|
| Sat, 21 Nov 2015 16:35:46 +0100 |
wenzelm |
render snapshot.is_outdated in text overview, where other status information is shown already;
|
file |
diff |
annotate
|
| Tue, 03 Nov 2015 16:49:44 +0100 |
wenzelm |
prefer Isabelle/Scala Future;
|
file |
diff |
annotate
|
| Tue, 03 Nov 2015 13:54:34 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sat, 19 Sep 2015 21:07:37 +0200 |
wenzelm |
straight-forward refresh, without special preconditions;
|
file |
diff |
annotate
|
| Sat, 19 Sep 2015 20:47:11 +0200 |
wenzelm |
eliminated pointless jedit_text_overview_limit;
|
file |
diff |
annotate
|
| Sat, 19 Sep 2015 20:38:28 +0200 |
wenzelm |
fast synchronous painting and asynchronous refresh of text overview, reduces GUI thread latency from 100ms to 1ms for big files like src/HOL/Multivariate_Analsyis/Integration.thy;
|
file |
diff |
annotate
|
| Wed, 23 Jul 2014 11:22:56 +0200 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
| Wed, 23 Jul 2014 11:19:24 +0200 |
wenzelm |
clarified module name: facilitate alternative GUI frameworks;
|
file |
diff |
annotate
|
| 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, 12 Aug 2013 11:49:58 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 23 Mar 2013 16:10:46 +0100 |
wenzelm |
structural equality for Command.Results;
|
file |
diff |
annotate
|
| Mon, 14 Jan 2013 23:08:40 +0100 |
wenzelm |
more prominent status ticks;
|
file |
diff |
annotate
|
| Mon, 14 Jan 2013 14:46:22 +0100 |
wenzelm |
more precise relevant_range to exploit overview_limit better;
|
file |
diff |
annotate
|
| Sun, 25 Nov 2012 20:59:32 +0100 |
wenzelm |
renamed main plugin object to PIDE;
|
file |
diff |
annotate
|