-
Michael Natterer authored
This is just some preparation for fixing issue #1805, but actually "target" is a much better name so I went the full way and also changed GUI labels and the color picker tool options config property accordingly. If anyone notices at all, how horrible is it to lose your saved pick target...
b140b283