gs-extensions-drop-down-terminal icon indicating copy to clipboard operation
gs-extensions-drop-down-terminal copied to clipboard

Published 20 hours ago • verified publisher icon zzrough

Close on EOF, like most terminals

Open neg3ntropy opened this issue 8 years ago • 5 comments

Hi,

I tend to close terminals with Ctrl^D, and I expect the drop down to go away when the shell exits. I do not know if this is the best way of implementing it, but it's working for me.

cheers

neg3ntropy avatar Jan 24 '16 17:01 neg3ntropy