Is there any tutorial or list of things to know regarding how to edit properties of all the default tools? Specifically the wrench, and it's menus/toggle boxes. I'm looking to set permissions for certain things regarding the tools (like disabling events and tool-spawning for some people or making the hammer unable to delete bricks unless given permission). I'd like to know how to do these more-so than just have someone else do it, so I could learn a little more.