You've nailed it here, outstanding job.
Any chance of defining a custom selection key other than ctrl? On my Macbook air, holding the control key with my pinky or thumb while I type is really awkward. Shift would seem more natural, as the pinky finger is already used to using this as a modifier, no?