This PR allows users to set the stroke widths of spots and links from the settings dialog, which is useful if the lines are too fine to see.
The following parameters are added to the render settings panel. Both parameters are set to 1.0 by default.
This PR got merged indirectly via a local branch I rebased on dev, to fix merge conflicts.
See 44bb34b5cfd9cf331ae0ae98ced6434a722b0fd9
and 85e1d6678a593a8d74e5b28d5814f6f569d6e726
This PR allows users to set the stroke widths of spots and links from the settings dialog, which is useful if the lines are too fine to see. The following parameters are added to the render settings panel. Both parameters are set to
1.0
by default.