Allow disabling of minimum overlap DRC checking
This little patch changes the preferences dialog in the GTK HID so that it allows you to set 0.0 for "minimum touching copper overlap" setting. This setting disables this DRC check. That can be useful if your manufacturer doesn't have problems with touching polygons.
The patch also adds some comments to the code.
|Changed in geda-project:|
|importance:||Undecided → Wishlist|
|tags:||added: drc gtk-gui|