Comment 4 for bug 1740156

Jeff Young (jeyjey) wrote :

Might also need to adjust the ratsnest line widths for high-DPI displays.