This repository has been archived on 2026-08-04. You can view files and clone it. You cannot open issues or pull requests or push a commit.

Domenic HornerandJakob Borg a5699d40a8 gui: Decrease padding on the panel and modal bodies (#6153) ...

This allows better viewing when on a condensed screen, and reduces screen real estate slightly.

2019-11-13 15:14:00 +01:00

..

css

gui: Decrease padding on the panel and modal bodies (#6153)

2019-11-13 15:14:00 +01:00

font

Add support for themes (fixes #1925)

2016-01-10 17:57:27 +00:00

img

gui, assets: Compress PNGs using ZopfliPNG

2016-06-28 06:19:12 +00:00

lang

gui, man, authors: Update docs, translations, and contributors

2019-06-12 07:45:26 +02:00