(** adds a tactical at current script execution point and execute it. Used
* when the user uses buttons or console instead of directly editing the
* script *)
(** adds a tactical at current script execution point and execute it. Used
* when the user uses buttons or console instead of directly editing the
* script *)