-
Michael Natterer authored
and remove all other tool options parent setting/unsetting and property copying code. Also select a tool at the end of tool_manager_init() so it is in sync with what the tool options manager does. (cherry picked from commit 37f69457)
cf7f2739