diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-12-02 23:34:19 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-12-02 23:34:19 +0000 |
| commit | eb653da33773e3a4d9d46ee098ebb57dfc7f9090 (patch) | |
| tree | c310d4b3d902d18e9910c47a9b41dd6d9cbb0e43 /isar | |
| parent | ba1298d5e2072ae9a5be84a3d0bc8a2e00722be5 (diff) | |
Better approximation of restoring old highlighting, by caching saved face.
Diffstat (limited to 'isar')
0 files changed, 0 insertions, 0 deletions