gngr

gngr copied to clipboard

Continuing from #36 We went with Firefox styled borders, but with square dots rather than rounded ones. It is possible to create rounded dots by using `CAP_ROUND` as a parameter...

hrj

Use strokes for drawing borders

3

`GUITasks.drawDashed()` draws each dash individually! Using strokes from Graphics2D would be much more optimal.

hrj