First time here? Check out the FAQ!
answered 2021-01-05 16:20:57 +0100
Relevant tickets regarding setting edge thickness in graphs:
Somewhat related: