| Tue, 16 Nov 2010 15:23:26 +0100 |
wenzelm |
more reasonably defaults for typical laptops (2 GB RAM, 2 cores);
|
file |
diff |
annotate
|
| Thu, 28 Oct 2010 15:06:47 +0200 |
wenzelm |
back again to non-Apple font rendering (cf. 4977324373f2);
|
file |
diff |
annotate
|
| Mon, 27 Sep 2010 11:31:39 +0200 |
wenzelm |
back to UseQuartz=true -- used to be default on Apple Java 1.5;
|
file |
diff |
annotate
|
| Sun, 29 Aug 2010 20:09:46 +0200 |
wenzelm |
JEDIT_JAVA_OPTIONS: actors.enableForkJoin=false is supposed to enable ResizableThreadPoolScheduler, to avoid starvation of excessive amounts of future tasks etc.;
|
file |
diff |
annotate
|
| Tue, 10 Aug 2010 12:08:24 +0200 |
wenzelm |
clarified JEDIT_JAVA_OPTIONS vs. JEDIT_SYSTEM_OPTIONS -- discontinued JEDIT_APPLE_PROPERTIES;
|
file |
diff |
annotate
|
| Thu, 05 Aug 2010 21:40:20 +0200 |
wenzelm |
editor mode;
|
file |
diff |
annotate
|
| Sat, 22 May 2010 19:42:20 +0200 |
wenzelm |
rendering information and style sheets via settings;
|
file |
diff |
annotate
|
| Fri, 09 Apr 2010 13:35:54 +0200 |
wenzelm |
include JEDIT_APPLE_PROPERTIES by default;
|
file |
diff |
annotate
|
| Tue, 12 Jan 2010 16:51:51 +0100 |
wenzelm |
provide JEDIT_SETTINGS via settings;
|
file |
diff |
annotate
|
| Wed, 23 Dec 2009 20:35:47 +0100 |
wenzelm |
slightly larger stack size -- default seems to be as low as 256k;
|
file |
diff |
annotate
|
| Fri, 11 Dec 2009 23:29:18 +0100 |
wenzelm |
more serious command line handling;
|
file |
diff |
annotate
|
| Tue, 08 Dec 2009 12:09:17 +0100 |
wenzelm |
tuned JVM settings;
|
file |
diff |
annotate
|
| Sat, 22 Aug 2009 23:24:15 +0200 |
wenzelm |
generalized settings;
|
file |
diff |
annotate
|
| Sat, 22 Aug 2009 23:17:09 +0200 |
wenzelm |
Isabelle component;
|
file |
diff |
annotate
|