TAB + W should prefer editor tabs , not term tabs

[michelson]

Thank you for this fantastic editor! I've been using it for a week now, and I'm really impressed.

However, there's one issue that's been bothering me. When I try to close a tab, I expect it to be an editor tab, not a terminal tab. I've accidentally closed the app server running in those terminals multiple times because of this.

Is there a way to prevent this or a setting I might have missed? Any help would be greatly appreciated.