In every major editor when you drag your mouse over the margin you can select multiple whole lines.
Please implement this behaviour in the application.
2 Likes
This is a specific aspect of the general problem of the margins of the editor being dead space that doesn’t support interaction. I’m pretty sure there’s a feature request about it.