diff options
| author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2020-08-18 11:48:46 +0300 |
|---|---|---|
| committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2020-08-18 11:48:46 +0300 |
| commit | a87d5af936c168ed6edbc66547a2c8fddf81f41f (patch) | |
| tree | 9fdae936b69db152b6e498b48bade0c25ed21d0c /res/help.gmi | |
| parent | 701f93645b7bb1f2e07e975f97b796910516256d (diff) | |
SidebarWidget: Faster redraws
Reuse previous contents if they are still valid.
Diffstat (limited to 'res/help.gmi')
0 files changed, 0 insertions, 0 deletions