diff options
| author | Dirk Engling <erdgeist@erdgeist.org> | 2016-08-15 02:33:23 +0200 |
|---|---|---|
| committer | Dirk Engling <erdgeist@erdgeist.org> | 2016-08-15 02:33:23 +0200 |
| commit | b9c2bb99ebbb311476e0c606d99e8a7cc1fbd479 (patch) | |
| tree | e034835d92f0c4be7d1cb70b5ec3aad69baeae7f /fonts | |
| parent | b8d31e2c027a953988102be601dd4bc2e0253a15 (diff) | |
Scroll to where the last finished headline is still visible
Diffstat (limited to 'fonts')
0 files changed, 0 insertions, 0 deletions