| Wed, 23 Jul 2014 18:04:16 +0200 | wenzelm | another attempt at more aggressive auto-loading (amending af28fdd50690) -- hidden buffers are now suppressed; | changeset | files |
| Wed, 23 Jul 2014 16:56:03 +0200 | wenzelm | more frugal edits; | changeset | files |
| Wed, 23 Jul 2014 16:20:07 +0200 | wenzelm | more explicit treatment of cleared nodes (removal is implicit); | changeset | files |