gui: elide long filenames with tooltip in document list#1457
Merged
apyrgio merged 1 commit intofreedomofpress:mainfrom Apr 15, 2026
Merged
gui: elide long filenames with tooltip in document list#1457apyrgio merged 1 commit intofreedomofpress:mainfrom
apyrgio merged 1 commit intofreedomofpress:mainfrom
Commits
Commits on Apr 15, 2026
- authored andcommitted
