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

Jakob Borg ff0ebc196c gui: Improve display of local size, ignore pattern status (fixes #3623) ...

The discrepancy between global and local sizes is fine and expected in
the presence of ignores. This just moves the "we have ignore patterns"
indication to the actual local size metric, as an explanation of why it
may differ from the global size...

2016-10-17 23:57:58 +02:00

..

css

gui: Adjust border-radius on accordion title buttons (fixes #3299)

2016-06-17 06:59:07 +00: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: Improve display of local size, ignore pattern status (fixes #3623)

2016-10-17 23:57:58 +02:00