| 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 |
| Tue, 23 Aug 2011 21:19:24 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 23 Aug 2011 21:14:59 +0200 | wenzelm | handle potentially more approriate BufferUpdate.LOADED event; | changeset | files |
| Mon, 22 Aug 2011 23:39:05 +0200 | wenzelm | special treatment of structure index 1 in Pure, including legacy warning; | changeset | files |
| Tue, 23 Aug 2011 19:49:21 +0200 | blanchet | compile | changeset | files |