Fri, 20 Apr 2012 22:48:48 +0200 | wenzelm | always revisit nodes independently of "required" flag, which may change during editing -- avoid "bloodbath effect" when changing perspective while loading; | changeset | files |
Fri, 20 Apr 2012 22:51:06 +0200 | wenzelm | tuned; | changeset | files |
Fri, 20 Apr 2012 20:29:44 +0200 | wenzelm | simplified internal actor protocol; | changeset | files |