You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
When closing the tab for a Terminal window that has been put into a window group (use “Create window group” in the window’s window menu) (1.png), the process doesn’t seem to be sent SIGHUP as it doesn’t exit (2.png).
1.png:
2.png:
The text was updated successfully, but these errors were encountered:
It looks like TerminalEmulator has no way to know whether a window is moved out of a tab group or a window is closed due to the associated tab closed, in both cases, GroupWindowMorph executes the method #removeWindow: without passing any event to TerminalEmulator to differentiate the two cases.
Furthermore, when a GroupWindowMorph is closed, there is no event passing down to the windows in the tab group.
I don't see a consistent way to handle these three cases...
When closing the tab for a Terminal window that has been put into a window group (use “Create window group” in the window’s window menu) (1.png), the process doesn’t seem to be sent SIGHUP as it doesn’t exit (2.png).
1.png:

2.png:

The text was updated successfully, but these errors were encountered: