| Tue, 05 Sep 2017 16:45:23 +0200 |
wenzelm |
less aggressive default position: prefer persistent defaults maintained by jEdit (amending 89c5bb2a2128);
|
file |
diff |
annotate
|
| Mon, 22 May 2017 19:34:01 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 20 Apr 2017 11:38:42 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 14 Mar 2017 18:08:21 +0100 |
wenzelm |
normalize changes strictly as specified in the protocol definition (assuming non-overlapping ranges, amending 0f555ce33970), e.g. relevant for automatic quotes/parentheses around selection;
|
file |
diff |
annotate
|
| Sun, 12 Mar 2017 19:06:10 +0100 |
wenzelm |
proper edits;
|
file |
diff |
annotate
|
| Sun, 12 Mar 2017 14:31:29 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 12 Mar 2017 14:23:38 +0100 |
wenzelm |
discontinued pointless Text.Length: Javascript and Java agree in old-fashioned UTF-16;
|
file |
diff |
annotate
|
| Thu, 09 Mar 2017 15:08:44 +0100 |
wenzelm |
proper treatment of line that becomes empty;
|
file |
diff |
annotate
|
| Thu, 09 Mar 2017 11:34:24 +0100 |
wenzelm |
clarified Document.offset: including final position;
|
file |
diff |
annotate
|
| Wed, 11 Jan 2017 20:01:55 +0100 |
wenzelm |
support for semantic completion;
|
file |
diff |
annotate
|
| Sun, 08 Jan 2017 12:00:37 +0100 |
wenzelm |
more explocit Document_Model.Content;
|
file |
diff |
annotate
|
| Sat, 07 Jan 2017 17:32:11 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 07 Jan 2017 17:30:06 +0100 |
wenzelm |
clarified lazy text content;
|
file |
diff |
annotate
|
| Sat, 07 Jan 2017 16:16:41 +0100 |
wenzelm |
Line.Document consists of independently allocated strings;
|
file |
diff |
annotate
|
| Thu, 05 Jan 2017 21:34:04 +0100 |
wenzelm |
more robust treatment of logical lines;
|
file |
diff |
annotate
|
| Thu, 05 Jan 2017 15:15:51 +0100 |
wenzelm |
manage document blobs as well;
|
file |
diff |
annotate
|
| Tue, 03 Jan 2017 17:21:37 +0100 |
wenzelm |
proper line_offset;
|
file |
diff |
annotate
|
| Thu, 29 Dec 2016 16:00:29 +0100 |
wenzelm |
clarified Document.length -- independent of text_length;
|
file |
diff |
annotate
|
| Wed, 28 Dec 2016 19:16:45 +0100 |
wenzelm |
unused;
|
file |
diff |
annotate
|
| Wed, 28 Dec 2016 19:15:52 +0100 |
wenzelm |
precise full_range and thus proper try_restrict in Snapshot.cumulate;
|
file |
diff |
annotate
|
| Wed, 28 Dec 2016 17:26:38 +0100 |
wenzelm |
clarified signature: maintan Text.Length within Line.Document;
|
file |
diff |
annotate
|
| Wed, 28 Dec 2016 17:10:09 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Wed, 28 Dec 2016 17:02:38 +0100 |
wenzelm |
clarified signature: explicit Length to avoid implicit mistakes;
|
file |
diff |
annotate
|
| Wed, 28 Dec 2016 16:45:00 +0100 |
wenzelm |
more uniform treatment of input/output wrt. client;
|
file |
diff |
annotate
|
| Mon, 26 Dec 2016 13:28:37 +0100 |
wenzelm |
clarified document: no stored text;
|
file |
diff |
annotate
|
| Fri, 23 Dec 2016 19:07:54 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 21 Dec 2016 22:49:53 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 21 Dec 2016 22:37:53 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 21 Dec 2016 22:27:38 +0100 |
wenzelm |
tuned signature -- more explicit types;
|
file |
diff |
annotate
|
| Wed, 21 Dec 2016 21:17:44 +0100 |
wenzelm |
clarified border cases;
|
file |
diff |
annotate
|
| Tue, 20 Dec 2016 17:46:44 +0100 |
wenzelm |
proper reset of column (amending 01e50039edc9);
|
file |
diff |
annotate
|
| Tue, 20 Dec 2016 16:08:02 +0100 |
wenzelm |
more systematic text length wrt. encoding;
|
file |
diff |
annotate
|
| Tue, 20 Dec 2016 10:44:36 +0100 |
wenzelm |
more systematic text length;
|
file |
diff |
annotate
|
| Tue, 20 Dec 2016 10:06:18 +0100 |
wenzelm |
unused;
|
file |
diff |
annotate
|
| Tue, 20 Dec 2016 08:57:03 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
| base
|