-
Michael Natterer authored
so we at least get a nice layout if the spinbuttons have different sizes. Makes the tool options look a bit less ugly.
dbf1d49e
so we at least get a nice layout if the spinbuttons have different sizes. Makes the tool options look a bit less ugly.