| Mon, 13 Jun 2011 12:33:53 +0200 | wenzelm | always use our text painter; | changeset | files |
| Mon, 13 Jun 2011 12:29:26 +0200 | wenzelm | use orig_text_painter for extras outside main text (also required to update internal line infos); | changeset | files |
| Sun, 12 Jun 2011 22:26:03 +0200 | wenzelm | more precise imitation of original TextAreaPainter$PaintText; | changeset | files |
| Sun, 12 Jun 2011 20:24:25 +0200 | wenzelm | tuned; | changeset | files |