public strokeLines(points as ArrayList<Int>) as Void:
Strokes several independent line segments with the current stroke style.
Coordinates are grouped as x1, y1, x2, y2 for each segment. The native backend parses the paint source once, then replays all segments. This is the preferred API for custom widgets that draw many ticks or grid lines during resize-sensitive repaints.
painter.strokeLines([0, 0, 40, 0, 0, 10, 40, 10])