pushkeys patch


a drop-in replacement for the OS9 pushkeys object, using the modifiers object instead.