| Fri, 17 Jun 2011 13:55:53 +0200 |
wenzelm |
flush snapshot on falling edge of is_outdated -- recover effect of former buffer.propertiesChanged on text area (cf. f0770743b7ec);
|
changeset |
files
|
| Fri, 17 Jun 2011 00:10:39 +0200 |
wenzelm |
recovered markup for non-alphabetic keywords;
|
changeset |
files
|
| Thu, 16 Jun 2011 23:35:37 +0200 |
wenzelm |
more precise imitation of original TextAreaPainter: no locking;
|
changeset |
files
|
| Thu, 16 Jun 2011 23:16:06 +0200 |
wenzelm |
more precise imitatation of original TokenMarker: no locking, interned context etc.;
|
changeset |
files
|
| Thu, 16 Jun 2011 22:15:35 +0200 |
wenzelm |
brute-force range restriction to avoid spurious crashes;
|
changeset |
files
|
| Thu, 16 Jun 2011 22:05:40 +0200 |
wenzelm |
static token markup, based on outer syntax only;
|
changeset |
files
|
| Thu, 16 Jun 2011 20:12:59 +0200 |
wenzelm |
explicit dependency on Pure.jar;
|
changeset |
files
|
| Thu, 16 Jun 2011 18:00:56 +0200 |
wenzelm |
partial scans of nested comments;
|
changeset |
files
|
| Thu, 16 Jun 2011 17:25:16 +0200 |
wenzelm |
some support for partial scans with explicit context;
|
changeset |
files
|
| Thu, 16 Jun 2011 11:59:29 +0200 |
haftmann |
tuned spelling
|
changeset |
files
|
| Wed, 15 Jun 2011 22:01:27 +0200 |
wenzelm |
updated generated file;
|
changeset |
files
|
| Wed, 15 Jun 2011 22:00:26 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Wed, 15 Jun 2011 21:18:58 +0200 |
haftmann |
spelling
|
changeset |
files
|
| Wed, 15 Jun 2011 21:30:15 +0200 |
wenzelm |
avoid compiler warning -- this is unchecked anyway;
|
changeset |
files
|