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
..
dark/assets/css	gui: Slightly lighten the dark theme	2016-09-18 13:47:36 +00:00
default	gui: Improve display of local size, ignore pattern status (fixes #3623)	2016-10-17 23:57:58 +02:00