Sat, 27 Aug 2011 15:53:18 +0200 | wenzelm | transparent foreground color for quoted entities; | changeset | files |
Sat, 27 Aug 2011 13:26:06 +0200 | wenzelm | more precise treatment of nodes that are fully required for partially visible ones; | changeset | files |
Sat, 27 Aug 2011 12:22:24 +0200 | wenzelm | de-assigned commands also count as changed; | changeset | files |