windows 10, graphics.cma = 2015-12-09.
fill_rect 0 0 10 10fills a square at 0 1 instead of 0 0
David Allsopp said "there is indeed a bug in the Windows implementation of Graphics.fill_rectis implemented using FillRect which states that it doesn’t include the right and bottom edge, so we should be increasing the width and height passed to it to compensate for that."
windows 10, graphics.cma = 2015-12-09.
fill_rect 0 0 10 10fills a square at 0 1 instead of 0 0 David Allsopp said "there is indeed a bug in the Windows implementation of Graphics.fill_rectis implemented usingFillRectwhich states that it doesn’t include the right and bottom edge, so we should be increasing the width and height passed to it to compensate for that."