@simontatham what's wrong with having multiple cursors assigned to multiple input devices? If I had a way to have my mouse and laptop touchpad each hve their own cursor, I'd probably find an use for that (on the Atari ST you could play Lemmings in multiplayer mode this way)