essentially being used as a hack to see if the style is set, and as a shortcut for converting from StyleInput back to GameInput, complicating InputEventPlus in the process. Remove it, and just pass along the PlayerNumber when it's actually needed. (incremental commit)