Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
[Feature] Multiselection/Multicursor #174
We probably do want to eventually document things like this somewhere - we shouldn't expect end users to work out what JS text editor we're using and go and look up its documentation. But I don't think we really have the bandwidth to do that at the moment.
Consider it a hidden bonus feature ;-)