| Sat, 18 Jun 2011 21:20:22 +0200 | wenzelm | convenience functions; | changeset | files |
| Sat, 18 Jun 2011 21:03:52 +0200 | wenzelm | more robust caret painting wrt. surrogate characters; | changeset | files |
| Sat, 18 Jun 2011 18:57:38 +0200 | wenzelm | do not control malformed symbols; | changeset | files |
| Sat, 18 Jun 2011 18:31:55 +0200 | wenzelm | Buffer.editSyntaxStyle: mask extended syntax styles; | changeset | files |
| Sat, 18 Jun 2011 18:17:08 +0200 | wenzelm | hardwired abbreviations for standard control symbols; | changeset | files |
| Sat, 18 Jun 2011 17:42:28 +0200 | wenzelm | updated to jedit_build-20110618, which is required for sub/superscript rendering; | changeset | files |
| Sat, 18 Jun 2011 17:33:27 +0200 | wenzelm | basic support for extended syntax styles: sub/superscript; | changeset | files |