-
Michael Natterer authored
The tool manager still keeps an active tool which it unrefs on destruction, triggering a final HALT on the tool, which may want to lookup tool options to reset something. Happened with the new widget-ported rectangle select tool.
5e08d714