-
Michael Natterer authored
by integrating their label instead of requiring one externally. This way we get rid of some more labels in the tool options. Also clean up tool options further (add more spin scales, and some general reordering and spacing cleanup).
8f991c59