3 Commits

Author	SHA1	Message	Date
Simon Richter	3f48aca721	Add missing <algorithm>	2020-10-21 22:51:22 +00:00
Jeff Young	f772e49d25	Adjust DRC badge spacing on OSX. ... Also added dynamic badge sizing based on number of digits.	2020-10-20 16:57:56 +01:00
Ian McInerney	7c9acc605d	Introduce a new number badge UI element for DRC and ERC reporting ... This new badge allows for proper UI scaling and will not cut off the number being displayed. Fixes https://gitlab.com/kicad/code/kicad/-/issues/5734 Fixes https://gitlab.com/kicad/code/kicad/-/issues/6011	2020-10-20 02:35:48 +01:00