| Wed, 24 Aug 2011 16:27:27 +0200 | wenzelm | clarified norm_header/header_edit -- disallow update of loaded theories; | changeset | files |
| 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 |