| Tue, 11 Sep 2012 11:03:59 +0200 |
wenzelm |
uniform operation on initial delay;
|
file |
diff |
annotate
|
| Mon, 10 Sep 2012 21:15:46 +0200 |
wenzelm |
dynamic evaluation of time (e.g. via options);
|
file |
diff |
annotate
|
| Fri, 07 Sep 2012 15:00:03 +0200 |
wenzelm |
postpone update of text overview panel after incoming session edits, to improve reactivity of editing massive theories like src/HOL/Multivariate_Analysis;
|
file |
diff |
annotate
|
| Fri, 07 Sep 2012 13:58:54 +0200 |
wenzelm |
more explicit Delay operations;
|
file |
diff |
annotate
|
| Fri, 25 May 2012 13:19:10 +0200 |
wenzelm |
further attempts to simplify/robustify Swing_Thread.now, to avoid spurious physical race conditions on Java 6 / Mac OS X;
|
file |
diff |
annotate
|
| Thu, 24 May 2012 17:42:47 +0200 |
wenzelm |
more robust Swing_Thread.now: allow body to fail;
|
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
|
| Tue, 21 Feb 2012 16:42:57 +0100 |
wenzelm |
invoke later to reduce chance of causing deadlock;
|
file |
diff |
annotate
|
| Tue, 29 Nov 2011 21:29:53 +0100 |
wenzelm |
separate compilation of PIDE vs. Pure sources, which enables independent Scala library;
|
file |
diff |
annotate
|
| Mon, 28 Nov 2011 22:18:19 +0100 |
wenzelm |
explicit indication of modules for independent Scala library;
|
file |
diff |
annotate
|
| Mon, 29 Aug 2011 16:28:51 +0200 |
wenzelm |
invoke in Swing thread to make double sure;
|
file |
diff |
annotate
|
| Wed, 01 Dec 2010 20:34:40 +0100 |
wenzelm |
more abstract/uniform handling of time, preferring seconds as Double;
|
file |
diff |
annotate
|
| Sun, 29 Aug 2010 18:55:48 +0200 |
wenzelm |
Swing_Thread.now: volatile result to make double-sure;
|
file |
diff |
annotate
|
| Sat, 07 Aug 2010 16:15:52 +0200 |
wenzelm |
more explicit treatment of Swing thread context;
|
file |
diff |
annotate
|
| Wed, 05 May 2010 22:23:45 +0200 |
wenzelm |
some rearrangement of Scala sources;
|
file |
diff |
annotate
| base
|