Skip to content

Follow-up on !1556

Gerhard Raven requested to merge remove-unnecessary-updateHandleLocation into master
  • avoid some calls to updateHandleLocation now that context() is no longer used, and thus there is no reason to delay the initialization of the handles
  • migrate to ToolHandle in a few places
  • add a mutex around the usage of some thead-unsafe, tools in some non-performance critical code
Edited by Marco Cattaneo

Merge request reports