Enable tool change via scripting#3130

At the moment, when player need to switch tools, they have to do so manually. It would be convenient if you could set the active tool for a specific player by script.

Usecase: I’m scripting a board game with a spinner object, which need to be flicked with the flick tool. So the player first have to select the flick tool (either by pressing F5 or by clicking the tool on the left side), then they have to flick the spinner. After it is done spinning, the player who flicked has to place 2 tokens. So first they have to select the grab tool (either by pressing F1 or by clicking the tool on the left side) and then they can grab the tokens.

If these switches could be done via scripting, that would be a very nice quality of life fix to implement in the game.