This tracks. I recall being surprised by the behavior of the Cmd+W keyboard shortcut in the new IDE that closed the window rather than the tab[1]. Keeping it si

This tracks. I recall being surprised by the behavior of the Cmd+W keyboard shortcut in the new IDE that closed the window rather than the tab[1]. Keeping it simple seemed to be the main factor driving the way UX choices were made. [1]: https://github.com/arduino/arduino-ide/issues/275 https://github.com/arduino/arduino-ide/issues/275