Modified the specification for the pause function.

There was previously no well-defined way to determine how exactly events
were supposed to be caught so that the game could be unpaused. This
change fixes that. I chose to go with seperate input events to give
developers as much control as possible without making it too complicated.