Fixed bug where terminal being removed didn't remove it from edit menu list of terminals.
Fixes copy/paste issue#18.