| Mon, 05 Sep 2011 23:51:16 +0200 |
wenzelm |
more visible outdated_color;
|
file |
diff |
annotate
|
| Sun, 04 Sep 2011 19:36:19 +0200 |
wenzelm |
eliminated markup for plain identifiers (frequent but insignificant);
|
file |
diff |
annotate
|
| Wed, 31 Aug 2011 20:32:24 +0200 |
wenzelm |
explicit running_color;
|
file |
diff |
annotate
|
| Tue, 30 Aug 2011 17:50:41 +0200 |
wenzelm |
tuned color for Mac OS X (very light color profile?);
|
file |
diff |
annotate
|
| Tue, 30 Aug 2011 16:04:26 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 30 Aug 2011 12:24:55 +0200 |
wenzelm |
tuned colors -- more distance between outdated_color and quoted_color;
|
file |
diff |
annotate
|
| Sat, 27 Aug 2011 17:26:14 +0200 |
wenzelm |
explicit markup for legacy warnings;
|
file |
diff |
annotate
|
| Sat, 27 Aug 2011 16:11:24 +0200 |
wenzelm |
less aggressive warning icon;
|
file |
diff |
annotate
|
| Sat, 27 Aug 2011 16:01:24 +0200 |
wenzelm |
tuned colors;
|
file |
diff |
annotate
|
| Sat, 27 Aug 2011 15:53:18 +0200 |
wenzelm |
transparent foreground color for quoted entities;
|
file |
diff |
annotate
|
| Sat, 13 Aug 2011 13:48:26 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 28 Jun 2011 20:42:29 +0200 |
wenzelm |
tuned markup;
|
file |
diff |
annotate
|
| Mon, 27 Jun 2011 22:20:49 +0200 |
wenzelm |
document antiquotations are managed as theory data, with proper name space and entity markup;
|
file |
diff |
annotate
|
| Mon, 27 Jun 2011 16:53:31 +0200 |
wenzelm |
ML antiquotations are managed as theory data, with proper name space and entity markup;
|
file |
diff |
annotate
|
| Sat, 25 Jun 2011 19:38:35 +0200 |
wenzelm |
entity markup for "type", "constant";
|
file |
diff |
annotate
|
| Sat, 25 Jun 2011 18:15:36 +0200 |
wenzelm |
type classes: entity markup instead of old-style token markup;
|
file |
diff |
annotate
|
| Sat, 18 Jun 2011 23:51:22 +0200 |
wenzelm |
tuned markup;
|
file |
diff |
annotate
|
| Sat, 18 Jun 2011 15:07:16 +0200 |
wenzelm |
tuned markup;
|
file |
diff |
annotate
|
| Sat, 18 Jun 2011 14:48:56 +0200 |
wenzelm |
highlight via foreground painter, using alpha channel;
|
file |
diff |
annotate
|
| Sat, 18 Jun 2011 12:58:41 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 18 Jun 2011 12:37:42 +0200 |
wenzelm |
inner literal/delimiter corresponds to outer keyword/operator;
|
file |
diff |
annotate
|
| Sat, 18 Jun 2011 12:13:42 +0200 |
wenzelm |
tuned markup;
|
file |
diff |
annotate
|
| Sat, 18 Jun 2011 11:45:07 +0200 |
wenzelm |
more uniform treatment of "keyword" vs. "operator";
|
file |
diff |
annotate
|
| Fri, 17 Jun 2011 00:10:39 +0200 |
wenzelm |
recovered markup for non-alphabetic keywords;
|
file |
diff |
annotate
|
| Thu, 16 Jun 2011 22:05:40 +0200 |
wenzelm |
static token markup, based on outer syntax only;
|
file |
diff |
annotate
|
| Wed, 15 Jun 2011 14:32:35 +0200 |
wenzelm |
more elaborate syntax styles;
|
file |
diff |
annotate
|
| Tue, 14 Jun 2011 17:24:23 +0200 |
wenzelm |
builtin sub/superscript styles for jedit-4.3.2;
|
file |
diff |
annotate
|
| Tue, 14 Jun 2011 15:32:17 +0200 |
wenzelm |
tuned colors;
|
file |
diff |
annotate
|
| Tue, 14 Jun 2011 14:33:46 +0200 |
wenzelm |
more foreground markup, using actual CSS color names;
|
file |
diff |
annotate
|
| Mon, 13 Jun 2011 23:21:53 +0200 |
wenzelm |
more accurate CSS colors;
|
file |
diff |
annotate
|
| Mon, 13 Jun 2011 23:09:01 +0200 |
wenzelm |
some direct text foreground painting, instead of token marking;
|
file |
diff |
annotate
|
| Wed, 08 Jun 2011 17:42:07 +0200 |
wenzelm |
moved sources -- eliminated Netbeans artifact of jedit package directory;
|
file |
diff |
annotate
| base
|