better Ctrl+C behavior
better Ctrl+C behavior

darcs-hash:20080814050708-a887e-e5afa1a40a209325400d4848a84110b6265bc202.gz

RaphaelRochet/easystroke,thjaeger/easystroke,thjaeger/easystroke,RaphaelRochet/easystroke