A Replacement for the Mouse in Linux