| Sat, 18 Jun 2011 22:01:22 +0200 | wenzelm | proper gfx.setColor; | changeset | files |
| Sat, 18 Jun 2011 21:26:47 +0200 | wenzelm | proper x1; | changeset | files |
| 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 |