Jakob Borg 7945430e64 gui, man, authors: Update docs, translations, and contributors 5 years ago
..
css c5663689a3 gui: Handle info labels that are longer than available space (fixes #944) (#7386) 5 years ago
font cd54186113 Add support for themes (fixes #1925) 10 years ago
img 9cc49aea77 assets, gui: Losslessly compress all JPG, PNG, and PDF images (#6265) 6 years ago
lang 7945430e64 gui, man, authors: Update docs, translations, and contributors 5 years ago