Line selection with mouse

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.