I’ve added one extra area that can be dragged, will be included in the next release:
I experimented with making all empty areas draggable but it caused some unexpected side effects, ie. actual text selection became weird, some issues with scrollbars.
Martin
Team•
Feb 4, 2025
I agree this can be improved, currently the areas marked in red allow you to drag the window, but utilize more empty spaces for this.
Log in to comment and vote
Comments2
Martin
Feb 6, 2025
I’ve added one extra area that can be dragged, will be included in the next release:
I experimented with making all empty areas draggable but it caused some unexpected side effects, ie. actual text selection became weird, some issues with scrollbars.
Martin
Feb 4, 2025
I agree this can be improved, currently the areas marked in red allow you to drag the window, but utilize more empty spaces for this.