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.


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.