Wed, 23 Jul 2014 11:22:56 +0200 | wenzelm | tuned comments; | changeset | files |
Wed, 23 Jul 2014 11:19:24 +0200 | wenzelm | clarified module name: facilitate alternative GUI frameworks; | changeset | files |
Wed, 23 Jul 2014 11:08:24 +0200 | wenzelm | proper change of perspective for removed nodes (stemming from closed buffers); | changeset | files |