| Fri, 11 Oct 2013 12:06:26 +0200 |
make double sure that AWT/Swing antialiasing is enabled (see also http://www.jedit.org/users-guide/jvm-options.html and jdk/src/share/classes/sun/awt/SunToolkit.java);
|
file | diff | annotate |
| Mon, 09 Sep 2013 17:28:08 +0200 |
proper apple.awt.application.name for Java 7;
|
file | diff | annotate |
| Sat, 05 Jan 2013 23:03:07 +0100 |
prefer apple.laf.useScreenMenuBar=true (despite cf. effcfa38e77b) to make it work better with full-screen mode;
|
file | diff | annotate |
| Sat, 05 Jan 2013 21:41:19 +0100 |
tuned JEDIT_JAVA_OPTIONS: increase chances that it works with approx. 8 cores and 32bit platform (notably Windows);
|
file | diff | annotate |
| Thu, 27 Sep 2012 15:38:28 +0200 |
eliminated obsolete HTML/CSS functionality;
|
file | diff | annotate |
| Fri, 30 Mar 2012 21:08:00 +0200 |
more robust Scala 2.9.x interpreter invocation -- avoid separate interpreter thread and thus deadlock of Swing_Thread.now;
|
file | diff | annotate |
| Wed, 21 Mar 2012 13:54:33 +0100 |
try apple.laf.useScreenMenuBar=false to make menus stay closer to the editor views they belong to -- potentially less confusing for jEdit newcomers;
|
file | diff | annotate |
| Fri, 25 Nov 2011 22:10:51 +0100 |
increased stack limits (again, cf. d9cf3520083c and 77c3e74bd954);
|
file | diff | annotate |
| Fri, 23 Sep 2011 14:13:15 +0200 |
default print mode for Isabelle/Scala, not just Isabelle/jEdit;
|
file | diff | annotate |
| Wed, 21 Sep 2011 15:08:15 +0200 |
reduced default thread stack, to increase the success rate especially on Windows (NB: the actor worker farm tends to produce 100-200 threads for big sessions);
|
file | diff | annotate |
| Sat, 17 Sep 2011 19:55:32 +0200 |
raised default log level -- to avoid confusing warning about scala.tools.nsc.plugins.Plugin, which is mistaken as jEdit plugin;
|
file | diff | annotate |
| Tue, 05 Jul 2011 21:53:59 +0200 |
hard-wired print mode "xsymbols" increases chance that "iff" in HOL will print symbolic arrow;
|
file | diff | annotate |
| Sat, 18 Jun 2011 17:30:44 +0200 |
proper place for config files (cf. 55866987a7d9);
|
file | diff | annotate |
| Wed, 08 Jun 2011 20:58:51 +0200 |
build jedit as part of regular startup script (in that case depending on jedit_build component);
|
file | diff | annotate | base |