diff options
| author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2022-01-27 19:29:42 +0200 |
|---|---|---|
| committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2022-01-27 19:29:42 +0200 |
| commit | f29cc9ed25a52b28b7d5650b0fd3dc16457c3e65 (patch) | |
| tree | 632c60d68dd1f0c8bc3384e71604d29c9802fafb /src/ui/widget.h | |
| parent | 180f8dbd9e05523d9a079471cc4416c4465c2edc (diff) | |
DocumentWidget: Navigate to parent vs. index.gmi
index.gmi is typically identical to the directory itself, so don't go from `/index.gmi` to `/`, but skip directly to the parent directory.
Diffstat (limited to 'src/ui/widget.h')
0 files changed, 0 insertions, 0 deletions