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 |