services.gromit-mpx.tools.*.arrowSize
Home-Manager option
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
declared in: <home-manager/modules/services/gromit-mpx.nix>source unavailable2