Ctrl-D in Terminal leaves ghost app
Is it possible for a future release to make Terminal close entirely on Ctrl-D? I am just so used to doing it, but on SFOS the Terminal app is left half-closed and starts again when clicked on. Swipe to close works of course.