diff options
| author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-05-11 12:56:14 +0300 |
|---|---|---|
| committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-05-11 12:56:25 +0300 |
| commit | 9f7a9058d3593d09a8fad9cd42b59f8a15873837 (patch) | |
| tree | 75efa83e07e2130f45308e9bff627b569086fa3a /src/ui/inputwidget.h | |
| parent | a13543aa922647ea2f8cc40cb9f3f797df8758df (diff) | |
Cache GmDocuments in memory
Navigation history keeps final GmDocuments in memory for quicker restore when navigating; no need to redo layout.
Changed the color escape to Vertical Tab so Carriage Returns can be left in the source, reducing need to normalize spaces.
Diffstat (limited to 'src/ui/inputwidget.h')
0 files changed, 0 insertions, 0 deletions