Miroslav Lichvar ed78cda6ad sources: check for negative distance ...

This is not expected to happen, but make sure the endpoints of each
source are in the right order (i.e. the distance is not negative) to
prevent getting a negative depth in the selection.

2020-06-04 14:50:17 +02:00

48 KiB

Raw Blame History

View Raw