| Wed, 24 Aug 2011 15:55:43 +0200 | wenzelm | misc tuning and simplification; | changeset | files |
| Wed, 24 Aug 2011 15:30:43 +0200 | wenzelm | ignore irrelevant timings; | changeset | files |
| Wed, 24 Aug 2011 13:40:10 +0200 | wenzelm | print state only for visible command, to avoid wasting resources for the larger part of the text; | changeset | files |
| Wed, 24 Aug 2011 13:38:07 +0200 | wenzelm | early filtering of unchanged perspective; | changeset | files |
| Wed, 24 Aug 2011 13:37:43 +0200 | wenzelm | more reliable update_perspective handler based on actual text visibility (e.g. on startup or when resizing without scrolling); | changeset | files |
| Wed, 24 Aug 2011 13:03:39 +0200 | wenzelm | update_perspective without actual edits, bypassing the full state assignment protocol; | changeset | files |