Garux 5a78874f9b * selector size: bump default 8->12 ...

clipper's one = user preference + 4
			hardcode for pivoted manipulators to 8 (since their size is constant)

2018-06-10 23:37:45 +03:00

191 KiB

Raw Blame History

View Raw