blanchet [Wed, 15 Jun 2011 14:36:41 +0200] rev 44262
type arguments now (unlike back when fa2cf11d6351 was done) normally carry enough information to reconstruct the type of an applied constant, so no need to constraint the argument types in those cases
wenzelm [Tue, 14 Jun 2011 17:24:23 +0200] rev 44261
builtin sub/superscript styles for jedit-4.3.2;
wenzelm [Tue, 14 Jun 2011 15:58:01 +0200] rev 44260
merged
wenzelm [Tue, 14 Jun 2011 15:32:17 +0200] rev 44259
tuned colors;
wenzelm [Tue, 14 Jun 2011 14:55:22 +0200] rev 44258
recovered tooltip Entity content (odd effect of layer change!? cf. 806878ae2219);
wenzelm [Tue, 14 Jun 2011 14:33:46 +0200] rev 44257
more foreground markup, using actual CSS color names;
wenzelm [Tue, 14 Jun 2011 13:34:27 +0200] rev 44256
more explicit check of dependencies;
wenzelm [Tue, 14 Jun 2011 13:18:36 +0200] rev 44255
tuned;
wenzelm [Tue, 14 Jun 2011 12:18:34 +0200] rev 44254
misc tuning and simplification;
wenzelm [Tue, 14 Jun 2011 11:36:08 +0200] rev 44253
separate module for text area painting;