Alternately, with your style of event triggers, you can simply wrap each one in a #group directive, and use the /.enable and /.disable commands.


Well. At least I won lunch.
Good philosophy, see good in bad, I like!