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