services.gromit-mpx.tools.*.arrowSize
If not null, automatically draw an arrow
at the end of a stroke with the given size.
- Type
null or (positive integer, meaning >0)- Default
null- Example
2- Declared
- <home-manager/modules/services/gromit-mpx.nix>
If not null, automatically draw an arrow
at the end of a stroke with the given size.
null or (positive integer, meaning >0)null2