| Thu, 20 Sep 2012 11:42:40 +0200 | nipkow | tuned | changeset | files |
| Fri, 21 Sep 2012 11:42:14 +0200 | wenzelm | less rendering (cf. 28bd0709443a) -- avoid conflict with static token markup of different keyword kinds; | changeset | files |
| Thu, 20 Sep 2012 22:25:30 +0200 | wenzelm | tuned painter; | changeset | files |
| Thu, 20 Sep 2012 21:57:37 +0200 | wenzelm | clarified message background; | changeset | files |
| Thu, 20 Sep 2012 21:31:56 +0200 | wenzelm | tuned rendering; | changeset | files |
| Thu, 20 Sep 2012 20:27:47 +0200 | wenzelm | no caret painting; | changeset | files |