diff options
| author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-11-03 07:09:16 +0200 |
|---|---|---|
| committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-11-03 07:09:16 +0200 |
| commit | f4172885428f9849ff29bd09490db8b167a8d705 (patch) | |
| tree | c82af9c46bce0f56627e61d180a630e11fb8baee /res/about/help.gmi | |
| parent | 20b5a9bbad524e242b7ade9fdcd06f34721c5f3a (diff) | |
Redo cached document layout if needed
Changing the fonts, zoom level, or window width will cause cached documents to be laid out again if they are restored from memory.
Diffstat (limited to 'res/about/help.gmi')
0 files changed, 0 insertions, 0 deletions