When the shell is closed, close the app.

[Avi Romanoff]

When I type "exit", Control+d, or otherwise exit the shell of the last tab, the entire app should quit. Currently it just re-launches the shell. This behavior is consistent with basically every other terminal emulator, including [u]rxvt, and gnome-terminal. If this behavior is really not preferred by everyone, at least make it an option in the preferences.

[Danielle Foré (danrabbit)]

Well, the usual behavior with tabs is to not close the app from the tab close button. But in this case, since we're looking at a keyboard based workflow, I think we have to decide whether "exit" means close tab or quit app.

I think based on this bug report that people are expected exit to mean quit. And in that case, we shouldn't break their expectations :)

[Pim Vullers (pimvullers)]

This behaviour is broken. I've had two tabs open, both 'closed' with Ctrl-D, which shows exit and lets me no longer use the tab. But the tab does not get closed.

[Mario Guerriero (mefrio-g)]

This bug was fixed again some commits ago, after DynamicNotebook implementation