The pen in GRIDS
In GRIDS there is a pen tool which can be used for writing or as a laser pointer.
The size and color of the pen can be customized:
Change pen size: Shift + mouse wheel
Change pen color: shift + E
The video explains the pen in detail: